614 search results - page 78 / 123 » A RESTful messaging system for asynchronous distributed proc... |
95
Voted
ISSTA
2009
ACM
15 years 7 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...
107
Voted
IPPS
2009
IEEE
15 years 7 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
15 years 5 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....
118
Voted
DEBU
2008
15 years 17 days 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...
110
Voted
SIGSOFT
2010
ACM
14 years 10 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...