5448 search results - page 47 / 1090 » Breakpoints and Time in Distributed Computations |
ENTCS
2002
15 years 8 days ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
113
click to vote
ISPAN
1999
IEEE
15 years 4 months ago
1999
IEEE
For an effective Internet-based distributed parallel computing platform, Java-Internet Computing Environment (JICE) is designed and implemented with multithreading and remote meth...
116
Voted
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
Power management has become popular in mobile computing as well as in server farms. Although a lot of work has been done to manage the energy consumption on uniprocessor real-time...
131
click to vote
PRDC
2007
IEEE
15 years 6 months ago
2007
IEEE
We consider scheduling real-time distributable threads in the presence of node/link failures and message losses in large-scale network systems. We present a distributed scheduling...
87
Voted
CSDA
2008
15 years 17 days ago
2008
In this paper the concept of later waiting time distributions for patterns in multi-state trials is generalized to cover a collection of compound patterns that must all be counted...