1![Under 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](https://www.pdfsearch.io/img/1baa43cedce394f069d35400987a9ac2.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:26:03
|
---|
2![Automated 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](https://www.pdfsearch.io/img/59defa8fbc23388317b1ce2192c8cafe.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2018-06-25 05:08:25
|
---|
3![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 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](https://www.pdfsearch.io/img/d06a9ffcb1718fba4b9747ae11bd04ba.jpg) | Add to Reading ListSource URL: www.ponylang.org |
---|
4![BritishLanthorn: 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](https://www.pdfsearch.io/img/0cd1f752276d7cb3641644e8738a2bbc.jpg) | Add to Reading ListSource URL: membres-lig.imag.frLanguage: English - Date: 2014-01-09 04:24:29
|
---|
5![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. 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.](https://www.pdfsearch.io/img/8304038f9d189b66730a9bfb5945371e.jpg) | Add to Reading ListSource URL: frenchy64.github.ioLanguage: English - Date: 2016-08-15 14:26:54
|
---|
6![Microsoft Word - HotPower_camera_ready_ACM_format Microsoft Word - HotPower_camera_ready_ACM_format](https://www.pdfsearch.io/img/b59fba9f3f128a8dc72af3ee023c7160.jpg) | Add to Reading ListSource URL: seelab.ucsd.eduLanguage: English - Date: 2012-06-04 16:50:20
|
---|
7![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 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](https://www.pdfsearch.io/img/04a5c9c1c9f4b2b7d1b731fd3d6786e5.jpg) | Add to Reading ListSource URL: nathanfarrington.comLanguage: English - Date: 2016-02-22 00:30:08
|
---|
8![JVM 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 •](https://www.pdfsearch.io/img/0c07d957a18f8a259ab7ed751642a17b.jpg) | Add to Reading ListSource URL: dl.dropboxusercontent.comLanguage: English |
---|
9![Ghent 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](https://www.pdfsearch.io/img/8ed32fd53ce8831cf9b1bb93addc0054.jpg) | Add to Reading ListSource URL: www.multimediaeval.orgLanguage: English - Date: 2012-02-08 10:38:05
|
---|
10![Accepting 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∗](https://www.pdfsearch.io/img/3a30c27fa1695aadd64c594da7cbe335.jpg) | Add to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 2016-05-23 12:46:14
|
---|