805 search results - page 2 / 161 » Modeling and Analyzing Periodic Distributed Computations |
AIPS
2010
13 years 7 months ago
2010
Computing a good policy in stochastic uncertain environments with unknown dynamics and reward model parameters is a challenging task. In a number of domains, ranging from space ro...
RTSS
1992
IEEE
13 years 9 months ago
1992
IEEE
This paper addresses the problem of allocating (assigning and scheduling) periodic task modules to processing nodes in distributed real-time systems subject to task precedence and ...
EJWCN
2010
13 years 5 days ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
SRDS
2008
IEEE
13 years 11 months ago
2008
IEEE
Large-scale distributed systems are subject to churn, i.e., continuous arrival, departure and failure of processes. Analysis of protocols under churn requires one to use churn mod...
WSC
2008
13 years 7 months ago
2008
To prepare for the event of bioterrorism, which could spread contagious disease such as anthrax, plague, smallpox, or tularemia to public, local governments in the United States a...