Parallel

Results: 13463



#Item
431

Parallel Model Checking of ω-Automata Vincent Bloemen Formal Methods and Tools, University of Twente Abstract. Specifications for non-terminating reactive systems are described by ω-regular proper

Add to Reading List

Source URL: ceur-ws.org

- Date: 2016-10-03 06:41:06
    432

    Kuta Software - Infinite Geometry Name___________________________________ Parallel Lines and Transversals

    Add to Reading List

    Source URL: cdn.kutasoftware.com

    - Date: 2014-05-02 15:43:09
      433

      Parallel classes in Steiner triple systems Steiner triple systems Steiner triple systems A collection of 3-subsets (triples) of a v-set (of points) such that every pair of

      Add to Reading List

      Source URL: symomega.files.wordpress.com

      - Date: 2016-09-28 21:03:21
        434

        From Theory to Practice: Efficient Join Query Evaluation in a Parallel Database System Shumo Chu, Magdalena Balazinska, Dan Suciu Computer Science and Engineering, University of Washington Seattle, Washington, USA

        Add to Reading List

        Source URL: homes.cs.washington.edu

        - Date: 2015-03-31 00:37:38
          435

          Complexity results for throughput and latency optimization of replicated and data-parallel workflows Anne Benoit and Yves Robert LIP, ENS Lyon, 46 All´ee d’Italie, 69364 Lyon Cedex 07, France UMRCNRS - ENS Lyo

          Add to Reading List

          Source URL: www.ens-lyon.fr

          - Date: 2007-03-22 11:40:43
            436

            Efficient Primitives for Creating and Scheduling Parallel Computations Umut A. Acar Arthur Chargu´eraud

            Add to Reading List

            Source URL: chargueraud.org

            - Date: 2014-02-04 05:58:39
              437

              Oracle Scheduling: Controlling Granularity in Implicitly Parallel Languages Umut A. Acar Arthur Chargu´eraud

              Add to Reading List

              Source URL: chargueraud.org

              - Date: 2015-12-22 08:08:32
                438

                product brief Create Faster Code — Faster Intel® Parallel Studio XE 2016 Intel Software Development Tools

                Add to Reading List

                Source URL: www.polyhedron.com

                - Date: 2015-10-29 16:12:32
                  439

                  On-the-Fly Maintenance of Series-Parallel Relationships in Fork-Join Multithreaded Programs Michael A. Bender Jeremy T. Fineman

                  Add to Reading List

                  Source URL: people.cs.georgetown.edu

                  - Date: 2011-08-28 16:58:02
                    440

                    Regular, Shape-polymorphic, Parallel Arrays in Haskell Gabriele Keller† Manuel M. T. Chakravarty† Simon Peyton Jones‡

                    Add to Reading List

                    Source URL: www.cse.unsw.edu.au

                    - Date: 2010-07-29 09:33:26
                      UPDATE