5171 search results - page 410 / 1035 » Deterministic Parallel Processing |
114
Voted
CONCUR
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
131
Voted
CCGRID
2006
IEEE
15 years 7 months ago
2006
IEEE
- The development and implementation of a 4 quarter course sequence starting in the Spring of the Junior year will be the focus of this paper. The first course focuses on having te...
173
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. ...
128
click to vote
CC
2006
Springer
15 years 5 months ago
2006
Springer
The CGiS programming language is designed to open up the parallel performance possibilities of graphics processing units (GPUs) to general purpose programmers. This tool demonstrat...
154
click to vote
IC
2003
15 years 5 months ago
2003
Abstract— Marshaling or serialization of objects is an important component of both distributed and parallel computing. Current systems impose a significant burden on the program...