Refinement

Results: 838



#Item
71

D-O LRT Project NCCU Station Refinement Noise and Vibration

Add to Reading List

Source URL: ourtransitfuture.com

- Date: 2016-11-06 00:01:00
    72

    BigGIS: A Continuous Refinement Approach to Master Heterogeneity and Uncertainty in Spatio-Temporal Big Data (Vision Paper) Patrick Wiener1 , Manuel Stein2 , Daniel Seebacher2 , Julian Bruns3 , Matthias Frank3 , Viliam S

    Add to Reading List

    Source URL: bib.dbvis.de

    - Date: 2016-11-07 10:03:04
      73

      Counter Example Guided Refinement CEGAR Mooly Sagiv Challenges

      Add to Reading List

      Source URL: www.cs.tau.ac.il

      - Date: 2015-05-25 10:14:26
        74

        Building White-Box Abstractions by Program Refinement Mehrdad Afshari Zhendong Su Department of Computer Science, University of California, Davis, USA

        Add to Reading List

        Source URL: mehrdad.afshari.me

        - Date: 2016-10-25 02:15:36
          75

          Spatially Adaptive Refinement Dirk Pfl¨ uger Department of Informatics, Technische Universit¨at M¨ unchen, Boltzmannstr. 3, 85748 Garching,

          Add to Reading List

          Source URL: www5.in.tum.de

          - Date: 2014-03-17 17:37:59
            76

            A Counterexample Guided Abstraction Refinement Framework for Verifying Concurrent C Programs Sagar J. Chaki CMU-CS

            Add to Reading List

            Source URL: www.cs.cmu.edu

            - Date: 2005-05-24 15:53:16
              77

              Form Methods Syst Des:25–44 DOIs10703Counterexample-guided abstraction refinement for symmetric concurrent programs Alastair F. Donaldson · Alexander Kaiser ·

              Add to Reading List

              Source URL: www.doc.ic.ac.uk

              - Date: 2012-08-31 08:16:46
                78

                SHA054_swarm_refinement_11_cs6

                Add to Reading List

                Source URL: www.solarladen.de

                - Date: 2016-10-12 04:02:10
                  79

                  Creating Collections with Automatic Suggestions and Example-Based Refinement Adrian Secord1 , Holger Winnem¨oller2 , Wilmot Li2 , Mira Dontcheva2 1 New York University

                  Add to Reading List

                  Source URL: www.cs.nyu.edu

                  - Date: 2010-10-06 14:54:53
                    UPDATE