Modelling Deterministic Concurrent I/O

Cached

Download Links

by Malcolm Dowse
Citations:1 - 0 self

Documents Related by Co-Citation

29 encapsulation and the disjointness of type and effect – Ownership - 2002
16 Nir Shavit. Transactional locking II – Dave Dice, Ori Shalev - 2006
27 A production-quality C* compiler for hypercube multicomputers – Philip J Hatcher, Anthony J Lapadula, Robert R Jones, Michael J Quinn, Ray J Anderson - 1991
98 Compositional C++: Compositional parallel programming – K Mani Chandy, Carl Kesselman - 1992
4 The interdependence of effects and uniqueness – John Boyland - 2001
14 FX-87 Performance Measurements: Dataflow Implementation – R. Todd Hammel, R. Todd Hammel, R. Todd Hammel, David K. Gifford, David K. Gifford, David K. Gifford - 1988
18 The Semantics of Scheme with Future – Luc Moreau - 1996
9 A Deterministic Notation for Cooperating Processes – Mani Chandy, Ian T. Foster - 1993
16 Implementing a parallel C++ runtime system for scalable parallel systems – A Malony, B Mohr, P Beckman, D Gannon, S Yang, F Bodin, S Kesavan - 1993
7 Mooly Sagiv. Thread-modular shape analysis – Alexey Gotsman, Josh Berdine, Byron Cook - 2007
6 Towards equal rights for higher-kinded types – Adriaan Moors, Frank Piessens, Martin Odersky - 2007
6 Towards an effects system for ownership domains – Matthew Smith - 2005
4 The Fortress language specification, version 1.0 – Sun Microsystems, Inc - 2008
7 A Programming Model for Concurrent Object-Oriented Programs – Bart Jacobs, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte - 2008
5 Ali-Reza Adl-Tabatabai. Dynamic optimization for efficient strong atomicity – Florian T Schneider, Vijay Menon, Tatiana Shpeisman - 2008
8 Mojtaba Mehrara. Transactional memory with strong atomicity using off-the-shelf memory protection hardware – Martín Abadi, Tim Harris - 2009
5 Reducing STM Overhead with Access Permissions – Nels E. Beckman, Yoon Phil Kim, Jonathan Aldrich, Sven Stork
5 Parallel programming with object assemblies – Roberto Lublinerman, Swarat Chaudhuri
16 Commutativity Analysis for Software Parallelization: letting Program Transformations See the Big Picture – Farhana Aleen, Nathan Clark - 2009