RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software
- 1 January 2013
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Towards Haskell in the cloudACM SIGPLAN Notices, 2011
- Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency ModelsElectronic Proceedings in Theoretical Computer Science, 2010
- Hosting an object heap on manycore hardwareACM SIGPLAN Notices, 2009
- Ptolemy: A Language with Quantified, Typed EventsLecture Notes in Computer Science, 2008
- Kilim: Isolation-Typed Actors for JavaLecture Notes in Computer Science, 2008
- LarrabeeACM Transactions on Graphics, 2008
- Expert F#Published by Springer Science and Business Media LLC ,2007
- Efficient memory management for concurrent programs that use message passingScience of Computer Programming, 2006
- FT-MPI, Fault-Tolerant Metacomputing and Generic Name Services: A Case StudyLecture Notes in Computer Science, 2006
- An overview of actor languagesACM SIGPLAN Notices, 1986