5171 search results - page 377 / 1035 » Deterministic Parallel Processing |
161
Voted
IPPS
1999
IEEE
15 years 8 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...
104
Voted
DEBS
2009
ACM
15 years 10 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, ...
135
Voted
PDPTA
2008
15 years 5 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. ...
121
Voted
ENTCS
2007
15 years 3 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...
150
Voted
ICS
2007
Tsinghua U.
15 years 9 months 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...