Concurrency

Results: 2238



#Item
71A proposal of new concurrency model for Ruby 3 Koichi Sasada

A proposal of new concurrency model for Ruby 3 Koichi Sasada

Add to Reading List

Source URL: www.atdot.net

- Date: 2016-09-08 03:55:49
    72Z Concurrency Testing Using Controlled Schedulers: An Empirical Study Paul Thomson, Imperial College London Alastair F. Donaldson, Imperial College London Adam Betts, Imperial College London

    Z Concurrency Testing Using Controlled Schedulers: An Empirical Study Paul Thomson, Imperial College London Alastair F. Donaldson, Imperial College London Adam Betts, Imperial College London

    Add to Reading List

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

    - Date: 2016-04-10 17:29:20
      73University of Oxford Department of Computer Science Doctor of Philosophy in Computer Science Verification of Message Passing

      University of Oxford Department of Computer Science Doctor of Philosophy in Computer Science Verification of Message Passing

      Add to Reading List

      Source URL: concurrency.informatik.uni-kl.de

      - Date: 2016-06-10 12:02:33
        74Call  for  Papers   Concurrency  and  Computation:  Practice  and  Experience   (http://www.cc-­‐pe.net/)     Special  Issue  with  the  best  papers  of  the  

        Call  for  Papers   Concurrency  and  Computation:  Practice  and  Experience   (http://www.cc-­‐pe.net/)     Special  Issue  with  the  best  papers  of  the  

        Add to Reading List

        Source URL: wpba2014.dc.ufscar.br

        - Date: 2014-08-06 21:36:08
          75Optimistic Concurrency Control for Distributed Unsupervised Learning Xinghao Pan1 Joseph Gonzalez1 Stefanie Jegelka1 Tamara Broderick1,2 Michael I. Jordan1,2 1 Department of Electrical Engineering and Computer Science, a

          Optimistic Concurrency Control for Distributed Unsupervised Learning Xinghao Pan1 Joseph Gonzalez1 Stefanie Jegelka1 Tamara Broderick1,2 Michael I. Jordan1,2 1 Department of Electrical Engineering and Computer Science, a

          Add to Reading List

          Source URL: papers.nips.cc

          - Date: 2014-11-26 14:14:29
            76Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution Heather Miller, Philipp Haller1 , and Martin Odersky EPFL and Typesafe, Inc.1 1 {heather.miller, martin.odersky}@epfl.ch and philipp

            Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution Heather Miller, Philipp Haller1 , and Martin Odersky EPFL and Typesafe, Inc.1 1 {heather.miller, martin.odersky}@epfl.ch and philipp

            Add to Reading List

            Source URL: infoscience.epfl.ch

            - Date: 2014-05-14 09:23:19
              77Engineering Tripos Part IIA THIRD YEAR Paper 3F6: Software Engineering and Systems Relational Databases and Concurrency Control

              Engineering Tripos Part IIA THIRD YEAR Paper 3F6: Software Engineering and Systems Relational Databases and Concurrency Control

              Add to Reading List

              Source URL: learning.eng.cam.ac.uk

              - Date: 2016-03-17 05:05:57
                78Monoids as Storage Mechanisms Georg Zetzsche Vom Fachbereich Informatik der Technischen Universität Kaiserslautern zur Verleihung des akademischen Grades Doktor der Naturwissenschaften (Dr. rer. nat.) genehmigte Dissert

                Monoids as Storage Mechanisms Georg Zetzsche Vom Fachbereich Informatik der Technischen Universität Kaiserslautern zur Verleihung des akademischen Grades Doktor der Naturwissenschaften (Dr. rer. nat.) genehmigte Dissert

                Add to Reading List

                Source URL: concurrency.cs.uni-kl.de

                - Date: 2016-07-11 11:00:48
                  79Conflation Confers Concurrency

                  Conflation Confers Concurrency

                  Add to Reading List

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

                  - Date: 2016-04-18 10:45:17