Max

Results: 17633



#Item
521

1 Approximate Reduction of Heterogenous Nonlinear Models with Differential Hulls Max Tschaikowski and Mirco Tribastone Abstract—We present a model reduction technique for a

Add to Reading List

Source URL: cse.lab.imtlucca.it

- Date: 2017-04-12 13:01:13
    522

    Tackling Real-Life Relaxed Concurrency with FSL++ Marko Doko and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. We extend fenced separation logic (FSL), a program logic for

    Add to Reading List

    Source URL: plv.mpi-sws.org

    - Date: 2017-01-19 08:43:04
      523

      Noname manuscript No. (will be inserted by the editor) A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment Max Tschaikowski · Mirco Tribastone

      Add to Reading List

      Source URL: cse.lab.imtlucca.it

      - Date: 2017-04-12 13:01:10
        524

        Favored Cores a.k.a. Intel Turbo Boost Max Technology 3.0 Srinivas Pandruvada / Tim Chen What is Favored Core? •

        Add to Reading List

        Source URL: www.linuxplumbersconf.net

        - Date: 2016-11-07 15:39:51
          525

          Spatial Fluid Limits for Stochastic Mobile Networks Max Tschaikowski, Mirco Tribastone IMT School for Advanced Studies Lucca, Italy Abstract We consider Markov models of large-scale networks where nodes are characterized

          Add to Reading List

          Source URL: cse.lab.imtlucca.it

          - Date: 2017-04-12 13:01:12
            526

            IARU REGION 1 HF BAND PLAN A recommendation for all radio amateurs how to use the bands, as revised at the General Conference Varna 2014 MAX FREQUENCY BANDWIDTH ....PREFERRED MODE AND USAGE (kHz)

            Add to Reading List

            Source URL: www.hflink.com

            - Date: 2015-01-03 07:16:49
              527

              ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations Luca Cardelli1 , Mirco Tribastone2 , Max Tschaikowski2 , and Andrea Vandin2 1 2

              Add to Reading List

              Source URL: cse.lab.imtlucca.it

              - Date: 2017-02-03 10:28:41
                528

                Panama City Beach, Florida | sheratonbaypoint.com | Private Bay Beach (500 max capacity) ~ Spacious white sand private beach, lined with palms and overlooking St. Andrews Bay.

                Add to Reading List

                Source URL: 630503366040fdf96664-2a89f4ce006561654165d8d9b4017f36.r94.cf1.rackcdn.com

                - Date: 2017-01-04 13:10:37
                  529

                  Noise Reduction in Complex Biological Switches Luca Cardelli1,2,¶ ,*, Attila Csikász-Nagy3,4,¶, Neil Dalchau1,¶, Mirco Tribastone5,¶, Max Tschaikowski5,¶ 1 Microsoft Research Cambridge, United Kingdom; 2 Universit

                  Add to Reading List

                  Source URL: cse.lab.imtlucca.it

                  - Date: 2017-04-12 13:01:13
                    530

                    PrivacyScore: Improving Privacy and Security via Crowd-Sourced Benchmarks of Websites? Max Maass1 , Pascal Wichmann2 , Henning Prid¨ohl2 , Dominik Herrmann2 arXiv:1705.05139v2 [cs.CR] 30 Jun 2017

                    Add to Reading List

                    Source URL: arxiv.org

                    - Date: 2017-07-02 21:31:35
                      UPDATE