5448 search results - page 13 / 1090 » Breakpoints and Time in Distributed Computations |
IPPS
2000
IEEE
13 years 11 months ago
2000
IEEE
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
FUIN
2010
13 years 4 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
IPPS
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper proposes an optimization technique for spotchecking to minimize the computation time of volunteer computing (VC) systems with malicious participants who return erroneou...
ICPP
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper presents a new schedulability analysis methodology for distributed hard real-time systems with bursty job arrivals. The schedulability is analyzed by comparing worst-ca...