Concurrency

Results: 2238



#Item
51

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
    52

    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
      53

      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
        54

        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
          55

          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
            56

            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
              57

              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
                58

                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
                  59

                  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
                    60

                    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
                      UPDATE