Concurrent computing

Results: 9919



#Item
1Under consideration for publication in Formal Aspects of Computing Maximally Concurrent Programs 1

Under consideration for publication in Formal Aspects of Computing Maximally Concurrent Programs 1

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:26:03
2Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK

Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2018-06-25 05:08:25
3Fully Concurrent Garbage Collection of Actors on Many-Core Machines Sylvan Clebsch and Sophia Drossopoulou Department of Computing, Imperial College, London {sc5511, scd}@doc.ic.ac.uk

Fully Concurrent Garbage Collection of Actors on Many-Core Machines Sylvan Clebsch and Sophia Drossopoulou Department of Computing, Imperial College, London {sc5511, scd}@doc.ic.ac.uk

Add to Reading List

Source URL: www.ponylang.org

    4BritishLanthorn: Ubiquitous Homogeneous Cooperative Symmetries Ike Antkare International Institute of Technology United Slates of Earth

    BritishLanthorn: Ubiquitous Homogeneous Cooperative Symmetries Ike Antkare International Institute of Technology United Slates of Earth

    Add to Reading List

    Source URL: membres-lig.imag.fr

    Language: English - Date: 2014-01-09 04:24:29
    5Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies*, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia* {abonnair,samth}@indiana.edu, Rowan.Davies@cba.

    Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies*, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia* {abonnair,samth}@indiana.edu, Rowan.Davies@cba.

    Add to Reading List

    Source URL: frenchy64.github.io

    Language: English - Date: 2016-08-15 14:26:54
    6Microsoft Word - HotPower_camera_ready_ACM_format

    Microsoft Word - HotPower_camera_ready_ACM_format

    Add to Reading List

    Source URL: seelab.ucsd.edu

    Language: English - Date: 2012-06-04 16:50:20
    7Facebook’s Data Center Network Architecture Nathan Farrington and Alexey Andreyev Facebook, Inc., 1601 Willow Road, Menlo Park, CA 94025, USA Author e-mail address: Abstract: We review Facebook’s c

    Facebook’s Data Center Network Architecture Nathan Farrington and Alexey Andreyev Facebook, Inc., 1601 Willow Road, Menlo Park, CA 94025, USA Author e-mail address: Abstract: We review Facebook’s c

    Add to Reading List

    Source URL: nathanfarrington.com

    Language: English - Date: 2016-02-22 00:30:08
    8JVM Backend and Optimizer in Scala 2.12 Lukas Rytz, Scala Team @ Typesafe Scala 2.12 on one Slide •

    JVM Backend and Optimizer in Scala 2.12 Lukas Rytz, Scala Team @ Typesafe Scala 2.12 on one Slide •

    Add to Reading List

    Source URL: dl.dropboxusercontent.com

    Language: English
    9Ghent University at the 2010 Placing Task Olivier Van Laere Department of Information Technology, IBBT Ghent University, Belgium

    Ghent University at the 2010 Placing Task Olivier Van Laere Department of Information Technology, IBBT Ghent University, Belgium

    Add to Reading List

    Source URL: www.multimediaeval.org

    Language: English - Date: 2012-02-08 10:38:05
    10Accepting Blame for Safe Tunneled Exceptions Yizhou Zhang∗ Guido Salvaneschi† Quinn Beightol∗ Barbara Liskov‡ Andrew C. Myers∗

    Accepting Blame for Safe Tunneled Exceptions Yizhou Zhang∗ Guido Salvaneschi† Quinn Beightol∗ Barbara Liskov‡ Andrew C. Myers∗

    Add to Reading List

    Source URL: www.cs.cornell.edu

    Language: English - Date: 2016-05-23 12:46:14