Concurrency

Results: 2238



#Item
101Replace 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 ?

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
    102Don’t Start with Dekker’s Algorithm: Top-Down Introduction of Concurrency Michael L. Scott Multicore Programming Education Workshop 8 March 2009

    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
      103False Concurrency and the Foundations of Computer Science Peter Sewell University of Cambridge Milner Symposium

      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
        104From 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

        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
          105Addendum 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

          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
            106SDNRacer Concurrency Analysis for SDNs Ahmed El-Hassany Jeremie Miserez Pavol Bielik Laurent Vanbever

            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
              107Effective Concurrency through Algebraic Effects Stephen Dolan1 , Leo White2 , KC Sivaramakrishnan1 , Jeremy Yallop1 , and Anil Madhavapeddy1 1 University of Cambridge 2

              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
                108Exploiting Communication Concurrency on High Performance Computing Systems Nicholas Chaimov University of Oregon Khaled Z. Ibrahim, Samuel Williams,

                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
                  109Low Overhead Concurrency Control for Partitioned Main Memory Databases Evan P. C. Jones Daniel J. Abadi

                  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
                    110From Data Types to Session Types:
 A Basis for Concurrency and Distribution

                    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