805 search results - page 1 / 161 » Modeling and Analyzing Periodic Distributed Computations |
SSS
2010
Springer
13 years 3 months ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
CCGRID
2005
IEEE
13 years 10 months ago
2005
IEEE
The scheme of advance reservations in dynamically provisioned optical networks is novel, and there are no gridbased applications designed to utilize this scheme. We formally defi...
CCGRID
2007
IEEE
13 years 11 months ago
2007
IEEE
Pseudo-periodicity is one of the basic job arrival patterns on data-intensive clusters and Grids. In this paper, a signal decomposition methodology called matching pursuit is appl...
RTCSA
2003
IEEE
13 years 10 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...
DSN
2006
IEEE
13 years 8 months ago
2006
IEEE
We construct, analyze and solve models of systems where a number of servers offer services to an incoming stream of demands. Each server goes through alternating periods of being ...