614 search results - page 78 / 123 » A RESTful messaging system for asynchronous distributed proc... |
144
click to vote
ISSTA
2009
ACM
16 years 14 days 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...
161
click to vote
IPPS
2009
IEEE
16 years 18 days 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...
141
click to vote
WORDS
2003
IEEE
15 years 11 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....
181
click to vote
DEBU
2008
15 years 6 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...
162
click to vote
SIGSOFT
2010
ACM
15 years 3 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...