1449 search results - page 164 / 290 » Time Synchronization |
ICCS
2001
Springer
14 years 3 months ago
2001
Springer
This paper presents a tool that enables programmers to use cyclic debugging techniques for debugging non-deterministic parallel programs. The solution consists of a combination of ...
ASIAN
1999
Springer
14 years 2 months ago
1999
Springer
This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We intro...
ISPAN
1996
IEEE
14 years 2 months ago
1996
IEEE
In this paper, we study a synchronous execution strategy f o r parallel join computation in multiprocessor systems. Through a further comprehensive investigation of the processor ...
ICECCS
1995
IEEE
14 years 2 months ago
1995
IEEE
Design, performance management, and capacity planning of client/server applications in the commercial enterprise depends on the ability to model these distributed applications at ...
ICDCS
2010
IEEE
13 years 9 months ago
2010
IEEE
This paper presents a new transformation which adds fault-containment properties to any silent self-stabilizing protocol. The transformation features a constant slow-down factor a...