614 search results - page 78 / 123 » A RESTful messaging system for asynchronous distributed proc... |
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
IPPS
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper describes the design and the implementation of parallel routines in the Heterogeneous ScaLAPACK library that solve a dense system of linear equations. This library is w...
WORDS
2003
IEEE
14 years 2 months ago
2003
IEEE
Atomic Broadcast (where all processes deliver broadcast messages in the same order) is a very useful group communication primitive for building fault-tolerant distributed systems....
DEBU
2008
13 years 9 months ago
2008
Services Research Lab at the Knoesis center and the LSDIS lab at University of Georgia have played a significant role in advancing the state of research in the areas of workflow m...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...