Abstraction

Results: 2720



#Item
81

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
    82

    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
      83

      A Compiler for Throughput Optimization of Graph Algorithms on GPUs There is growing interest in raising the abstraction level for GPU programmers through the use of high-level programming notations and compiler technolog

      Add to Reading List

      Source URL: users.ices.utexas.edu

      - Date: 2016-08-31 11:00:06
        84

        Coflow: A Networking Abstraction for Cluster Applications Mosharaf Chowdhury, Ion Stoica EECS, UC Berkeley, CA, USA {mosharaf, istoica}@cs.berkeley.edu ABSTRACT

        Add to Reading List

        Source URL: www.mosharaf.com

        - Date: 2012-10-21 19:18:01
          85

          Automatic Abstraction in SMT-Based Unbounded Software Model Checking ⋆ Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PA, USA Abstract. Software model che

          Add to Reading List

          Source URL: www.cs.cmu.edu

          - Date: 2013-06-08 14:51:39
            86

            Animal, dog, or dalmatian? Level of abstraction in nominal referring expressions Caroline Graf, Judith Degen, Robert X.D. Hawkins, Noah D. Goodman , {jdegen,rxdh,ngoodman}@stanford.edu Department of Psycholog

            Add to Reading List

            Source URL: cocolab.stanford.edu

            - Date: 2016-12-17 18:13:11
              87

              Barrier Invariants: A Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels ∗ Shaz Qadeer Microsoft Research

              Add to Reading List

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

              - Date: 2013-10-27 17:15:18
                88

                1 Institutions as Abstraction Boundaries Bill Tulloh, George Mason University btulloh-at-gmail.com

                Add to Reading List

                Source URL: www.cypherpunks.to

                - Date: 2008-03-14 04:35:43
                  89

                  Memory Management Part Two © 2015 Oracle, Mario Wolczko The tri-color abstraction

                  Add to Reading List

                  Source URL: dl.dropboxusercontent.com

                    90

                    Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science University of Karlsruhe, DKarlsruhe, Germany

                    Add to Reading List

                    Source URL: i12www.iti.kit.edu

                    - Date: 2009-01-05 04:34:04
                      UPDATE