805 search results - page 20 / 161 » Modeling and Analyzing Periodic Distributed Computations |
ECRTS
2008
IEEE
14 years 2 months ago
2008
IEEE
Existing off-line schedulability analysis for real-time systems can only handle periodic or sporadic tasks with known minimum inter-arrival times. Modeling sporadic tasks with fi...
SSDBM
2003
IEEE
14 years 1 months ago
2003
IEEE
It is now common to encounter communities engaged in the collaborative analysis and transformation of large quantities of data over extended time periods. We argue that these comm...
CLUSTER
2009
IEEE
14 years 2 months ago
2009
IEEE
— Cloud computing has gained significant traction in recent years. The Map-Reduce framework is currently the most dominant programming model in cloud computing settings. In this ...
HPDC
2002
IEEE
14 years 25 days ago
2002
IEEE
Grid applications must increasingly self-adapt dynamically to changing environments. In most cases, adaptation has been implemented in an ad hoc fashion, on a perapplication basis...
FIDJI
2003
Springer
14 years 1 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...