Refinement

Results: 838



#Item
51Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether

Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether

Add to Reading List

Source URL: homes.cs.washington.edu

- Date: 2017-06-23 18:20:17
    52Refinement Types for Ruby Milod Kazerounian1 , Niki Vazou1 , Austin Bourgerie1 , Jeffrey S. Foster1 , and Emina Torlak2 1 University of Maryland, College Park, USA

    Refinement Types for Ruby Milod Kazerounian1 , Niki Vazou1 , Austin Bourgerie1 , Jeffrey S. Foster1 , and Emina Torlak2 1 University of Maryland, College Park, USA

    Add to Reading List

    Source URL: homes.cs.washington.edu

    - Date: 2017-12-12 13:01:34
      53Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington

      Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington

      Add to Reading List

      Source URL: homes.cs.washington.edu

      - Date: 2017-04-23 14:12:56
        54Workshop • RIETVELD REFINEMENT OF DIFFRACTION PATTERNS Program Monday June 1st, – 13.00 • Introduction to Rietveld refinement

        Workshop • RIETVELD REFINEMENT OF DIFFRACTION PATTERNS Program Monday June 1st, – 13.00 • Introduction to Rietveld refinement

        Add to Reading List

        Source URL: www.ecole.ensicaen.fr

        - Date: 2010-07-05 09:52:26
          55Characterizing Transactional Memory Consistency Conditions Using Observational Refinement HAGIT ATTIYA, Technion—Israel Institute of Technology ALEXEY GOTSMAN, IMDEA Software Institute SANDEEP HANS, Technion—Israel I

          Characterizing Transactional Memory Consistency Conditions Using Observational Refinement HAGIT ATTIYA, Technion—Israel Institute of Technology ALEXEY GOTSMAN, IMDEA Software Institute SANDEEP HANS, Technion—Israel I

          Add to Reading List

          Source URL: software.imdea.org

          - Date: 2018-02-01 06:29:20
            56Type Reconstruction for General Refinement Types Kenneth Knowles Cormac Flanagan

            Type Reconstruction for General Refinement Types Kenneth Knowles Cormac Flanagan

            Add to Reading List

            Source URL: kennknowles.com

            - Date: 2011-09-06 01:40:50
              57Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether

              Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether

              Add to Reading List

              Source URL: homes.cs.washington.edu

              - Date: 2016-11-23 00:38:18
                58Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether

                Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether

                Add to Reading List

                Source URL: locore.cs.washington.edu

                - Date: 2016-10-05 18:29:44
                  592019_Refinement_List_of_Authors_and_Review_Editors_10Nov17.xlsx

                  2019_Refinement_List_of_Authors_and_Review_Editors_10Nov17.xlsx

                  Add to Reading List

                  Source URL: www.ipcc-nggip.iges.or.jp

                  - Date: 2017-11-15 23:26:35
                    60Bounded Refinement Types Niki Vazou Alexander Bakst Ranjit Jhala

                    Bounded Refinement Types Niki Vazou Alexander Bakst Ranjit Jhala

                    Add to Reading List

                    Source URL: goto.ucsd.edu

                    - Date: 2015-02-28 03:26:59