Concurrency

Results: 2238



#Item
51A Sophomoric∗ Introduction to Shared-Memory Parallelism and Concurrency Dan Grossman Version of January 21, 2016  A version of this material has been published as two chapters in the book Parallel and Distributed Compu

A Sophomoric∗ Introduction to Shared-Memory Parallelism and Concurrency Dan Grossman Version of January 21, 2016 A version of this material has been published as two chapters in the book Parallel and Distributed Compu

Add to Reading List

Source URL: homes.cs.washington.edu

- Date: 2016-01-21 23:59:53
    521  CCPE09v5 penultimate draft CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2000; 00:1–6

    1 CCPE09v5 penultimate draft CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2000; 00:1–6

    Add to Reading List

    Source URL: wiki.myexperiment.org

    - Date: 2009-04-06 20:51:06
      53Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries∗ Adrian Francalanza

      Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries∗ Adrian Francalanza

      Add to Reading List

      Source URL: staff.um.edu.mt

      - Date: 2011-07-22 10:08:24
        54Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries Computer Science Dept. Trinity College Dublin College Green, Dublin 2

        Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries Computer Science Dept. Trinity College Dublin College Green, Dublin 2

        Add to Reading List

        Source URL: staff.um.edu.mt

        - Date: 2012-05-18 00:02:01
          55CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. ExperPublished online in Wiley InterScience (www.interscience.wiley.com). DOI: cpe.1444 Economic aspects of building sof

          CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. ExperPublished online in Wiley InterScience (www.interscience.wiley.com). DOI: cpe.1444 Economic aspects of building sof

          Add to Reading List

          Source URL: nes.aueb.gr

          - Date: 2013-09-14 08:34:34
            5625 Years of  Combining Compositionality and Concurrency Ursula Goltz, Rob van Glabbeek and Ernst-Rüdiger Olderog

            25 Years of Combining Compositionality and Concurrency Ursula Goltz, Rob van Glabbeek and Ernst-Rüdiger Olderog

            Add to Reading List

            Source URL: www.ips.tu-braunschweig.de

            - Date: 2013-08-13 03:02:31
              57Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers Pantazis Deligiannis Alastair F. Donaldson

              Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers Pantazis Deligiannis Alastair F. Donaldson

              Add to Reading List

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

              - Date: 2015-08-24 18:36:19
                58Separation Logic and Concurrency (OPLSSDraft of July 22, 2016 Aleks Nanevski IMDEA Software Institute

                Separation Logic and Concurrency (OPLSSDraft of July 22, 2016 Aleks Nanevski IMDEA Software Institute

                Add to Reading List

                Source URL: software.imdea.org

                - Date: 2016-08-04 13:20:18
                  59Assessing Design Patterns for Concurrency Fikre Leguesse Adrian Francalanza Department of Computer Science, ICT University of Malta {fleg0001,afra1}@um.edu.mt

                  Assessing Design Patterns for Concurrency Fikre Leguesse Adrian Francalanza Department of Computer Science, ICT University of Malta {fleg0001,afra1}@um.edu.mt

                  Add to Reading List

                  Source URL: staff.um.edu.mt

                  - Date: 2009-11-17 16:58:34
                    60Model-Based Testing: From Theory to Practice and Back Mohammad Mousavi Halmstad University, Sweden  25 Years of Combining Compositionality and Concurrency

                    Model-Based Testing: From Theory to Practice and Back Mohammad Mousavi Halmstad University, Sweden 25 Years of Combining Compositionality and Concurrency

                    Add to Reading List

                    Source URL: www.ips.tu-braunschweig.de

                    - Date: 2013-08-13 02:41:32