5171 search results - page 377 / 1035 » Deterministic Parallel Processing |
212
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementa...
161
click to vote
DEBS
2009
ACM
16 years 1 months ago
2009
ACM
Event processing has become the paradigm of choice in many monitoring and reactive applications. However, the understanding of events, their composition and level of abstraction, ...
185
click to vote
PDPTA
2008
15 years 8 months ago
2008
- For an iterative process to be parallelized, the operations that comprise the process must be organized into a correct schedule that will allow the hardware to compute the task. ...
170
click to vote
ENTCS
2007
15 years 6 months ago
2007
We propose a compositional technique for efficient verification of networks of parallel processes. It is based on an automatic analysis of LTSs of individual processes (using a f...
196
click to vote
ICS
2007
Tsinghua U.
16 years 28 days ago
2007
Tsinghua U.
Process arrival pattern, which denotes the timing when different processes arrive at an MPI collective operation, can have a significant impact on the performance of the operatio...