Abstraction

Results: 2720



#Item
51MultiNyx: A Multi-Level Abstraction Framework for Systematic Analysis of Hypervisors Pedro Fonseca, Xi Wang, Arvind Krishnamurthy Hypervisor correctness is critical •

MultiNyx: A Multi-Level Abstraction Framework for Systematic Analysis of Hypervisors Pedro Fonseca, Xi Wang, Arvind Krishnamurthy Hypervisor correctness is critical •

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2018-08-13 13:02:12
    52Lost in Abstraction Sebastian Janzen Sebastian @sebbe128

    Lost in Abstraction Sebastian Janzen Sebastian @sebbe128

    Add to Reading List

    Source URL: gotocon.com

    - Date: 2015-12-08 03:40:29
      53AVIS 2005 Preliminary Version Parametrized System Verification with Guard Strengthening and Parameter Abstraction Sava Krsti´c

      AVIS 2005 Preliminary Version Parametrized System Verification with Guard Strengthening and Parameter Abstraction Sava Krsti´c

      Add to Reading List

      Source URL: www.csee.ogi.edu

      Language: English - Date: 2006-12-15 01:09:48
        54Automatic Verification of RMA Programs via Abstraction Extrapolation Cedric Baumann1 , Andrei Marian Dan1 , Yuri Meshman2 , Torsten Hoefler1 , and Martin Vechev1 1

        Automatic Verification of RMA Programs via Abstraction Extrapolation Cedric Baumann1 , Andrei Marian Dan1 , Yuri Meshman2 , Torsten Hoefler1 , and Martin Vechev1 1

        Add to Reading List

        Source URL: spcl.inf.ethz.ch

        Language: English - Date: 2018-05-26 10:25:42
          55SHARP AND APPROXIMATE QUANTUM COMPUTATIONAL LOGICS MARIA LUISA DALLA CHIARA AND ROBERTO GIUNTINI Quantum computational logics (QCLs) are new forms of quantum logic, that represent a natural logical abstraction from the t

          SHARP AND APPROXIMATE QUANTUM COMPUTATIONAL LOGICS MARIA LUISA DALLA CHIARA AND ROBERTO GIUNTINI Quantum computational logics (QCLs) are new forms of quantum logic, that represent a natural logical abstraction from the t

          Add to Reading List

          Source URL: www.iub.edu

          - Date: 2009-04-04 22:10:26
            56Abstraction-Carrying Code: a Model for Mobile Code Safety Abstraction-Carrying Code: a Model for Mobile Code Safety

            Abstraction-Carrying Code: a Model for Mobile Code Safety Abstraction-Carrying Code: a Model for Mobile Code Safety

            Add to Reading List

            Source URL: cliplab.org

            - Date: 2009-07-09 09:15:07
              57Syntactic Abstraction in Component Interfaces Ryan Culpepper1 , Scott Owens2 , and Matthew Flatt2 1 2

              Syntactic Abstraction in Component Interfaces Ryan Culpepper1 , Scott Owens2 , and Matthew Flatt2 1 2

              Add to Reading List

              Source URL: www.cs.utah.edu

              - Date: 2005-09-02 17:32:26
                58Global Sequence Protocol A Robust Abstraction for Replicated Shared State Sebastian Burckhardt1 , Daan Leijen1 , Jonathan Protzenko1 , and Manuel Fähndrich2 1 2

                Global Sequence Protocol A Robust Abstraction for Replicated Shared State Sebastian Burckhardt1 , Daan Leijen1 , Jonathan Protzenko1 , and Manuel Fähndrich2 1 2

                Add to Reading List

                Source URL: jonathan.protzenko.fr

                - Date: 2015-08-08 20:45:58
                  59Retriable Futures Martin Sulzmann? and Jonas Moosmann?? Hochschule Karlsruhe - Technik und Wirtschaft Abstract. Futures are a programming language abstraction to structure asynchronous computations. We argue that there a

                  Retriable Futures Martin Sulzmann? and Jonas Moosmann?? Hochschule Karlsruhe - Technik und Wirtschaft Abstract. Futures are a programming language abstraction to structure asynchronous computations. We argue that there a

                  Add to Reading List

                  Source URL: www.home.hs-karlsruhe.de

                  - Date: 2014-02-13 06:22:18