Abstraction

Results: 2720



#Item
91

Abstraction Refinement for Ontology Materialization Birte Glimm1 , Yevgeny Kazakov1 , Thorsten Liebig2 , Trung-Kien Tran1 , and Vincent Vialard2 1 University of Ulm, Ulm, Germany, .@uni-ulm.de

Add to Reading List

Source URL: ceur-ws.org

- Date: 2014-07-07 10:05:50
    92

    Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs Alastair Donaldson, Alexander Kaiser, Daniel Kroening, and Thomas Wahl Computer Science Department, Oxford University, United Kingdom Abstrac

    Add to Reading List

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

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

      Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing Matei Zaharia, Mosharaf Chowdhury, Tathagata Das, Ankur Dave, Justin Ma, Murphy McCauley, Michael J. Franklin, Scott Shenker, I

      Add to Reading List

      Source URL: www-bcf.usc.edu

      - Date: 2012-03-16 18:09:41
        94

        David Hilbert In mathematics, as in any scientific research, we find two tendencies present. On the one hand, the tendency toward abstraction seeks to crystallize the logical relations inherent in the maze of material th

        Add to Reading List

        Source URL: tjzager.files.wordpress.com

        - Date: 2016-12-04 12:49:08
          95

          Generative Programming: from High-Performance to Safety-Critical Applications LMS-Verify: Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf

          Add to Reading List

          Source URL: lampwww.epfl.ch

          - Date: 2016-10-31 05:50:57
            96

            Metaphor: Bridging embodiment to abstraction

            Add to Reading List

            Source URL: ccn.upenn.edu

            - Date: 2016-06-14 10:01:32
              97

              Finding the needle in the haystack System software debugging at the right level of abstraction 1st International Workshop on Multicore Application Debugging (MAD 2013)

              Add to Reading List

              Source URL: www.mad-workshop.de

              - Date: 2016-03-22 12:43:37
                98

                The Graph BLAS effort and its implications for Exascale David Bader, Aydın Buluç1, John Gilbert, Joseph Gonzalez, Jeremy Kepner, Tim Mattson Abstract The graph abstraction provides a natural way to represent relationsh

                Add to Reading List

                Source URL: www.siam.org

                - Date: 2014-07-16 17:05:44
                  99

                  SICSA is able to provide sponsorship for small to medium-scale events taking place in Scotland that are relevant to the SICSA research themes: Complex Systems Engineering Modelling and Abstraction Human-Computer Interact

                  Add to Reading List

                  Source URL: www.sicsa.ac.uk

                  - Date: 2016-03-30 05:25:52
                    100

                    Abstraction and climate impacts on the Bonriki freshwater lens, Tarawa, Kiribati An optimization approach to maximize the resource during droughts Presenter: Sandra Galvis-Rodriguez Authors: Sandra Galvis-Rodriguez1,2, A

                    Add to Reading List

                    Source URL: star.gsd.spc.int

                    - Date: 2016-07-07 21:56:32
                      UPDATE