Concurrency

Results: 2238



#Item
101

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol ?

Add to Reading List

Source URL: folk.uio.no

- Date: 2008-11-26 05:36:44
    102

    Don’t Start with Dekker’s Algorithm: Top-Down Introduction of Concurrency Michael L. Scott Multicore Programming Education Workshop 8 March 2009

    Add to Reading List

    Source URL: www.cs.rochester.edu

    - Date: 2009-07-15 10:59:00
      103

      False Concurrency and the Foundations of Computer Science Peter Sewell University of Cambridge Milner Symposium

      Add to Reading List

      Source URL: events.inf.ed.ac.uk

      - Date: 2012-10-10 03:52:07
        104

        From Data Types to Session Types: A Basis for Concurrency and Distribution (ABCD) Simon Gay, University of Glasgow Philip Wadler, University of Edinburgh Nobuko Yoshida, Imperial College

        Add to Reading List

        Source URL: groups.inf.ed.ac.uk

        - Date: 2014-01-07 14:21:10
          105

          Addendum to “High-Performance Concurrency Control Mechanisms for Main-Memory Databases” Per-Ake Larson 1 , Spyros Blanas 2 , Cristian Diaconu 1 , Craig Freedman 1 , Jignesh M. Patel 2 , Mike Zwilling 1 1 Microsoft, 2

          Add to Reading List

          Source URL: web.cse.ohio-state.edu

          - Date: 2015-08-14 19:41:23
            106

            SDNRacer Concurrency Analysis for SDNs Ahmed El-Hassany Jeremie Miserez Pavol Bielik Laurent Vanbever

            Add to Reading List

            Source URL: sdnracer.ethz.ch

            - Date: 2016-06-17 13:47:37
              107

              Effective Concurrency through Algebraic Effects Stephen Dolan1 , Leo White2 , KC Sivaramakrishnan1 , Jeremy Yallop1 , and Anil Madhavapeddy1 1 University of Cambridge 2

              Add to Reading List

              Source URL: www.lpw25.net

              - Date: 2015-08-24 07:20:48
                108

                Exploiting Communication Concurrency on High Performance Computing Systems Nicholas Chaimov University of Oregon Khaled Z. Ibrahim, Samuel Williams,

                Add to Reading List

                Source URL: crd.lbl.gov

                - Date: 2015-02-15 12:19:08
                  109

                  Low Overhead Concurrency Control for Partitioned Main Memory Databases Evan P. C. Jones Daniel J. Abadi

                  Add to Reading List

                  Source URL: event.cwi.nl

                  - Date: 2010-08-10 12:02:01
                    110

                    From Data Types to Session Types:
 A Basis for Concurrency and Distribution" Glasgow Overview" Simon Gay! School of Computing Science!

                    Add to Reading List

                    Source URL: groups.inf.ed.ac.uk

                    - Date: 2014-01-10 06:53:21
                      UPDATE