5149 search results - page 501 / 1030 » Timed Asynchronous Distributed Systems |
171
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
159
click to vote
GROUP
2009
ACM
16 years 1 months ago
2009
ACM
A collaborative system must perform both processing and transmission tasks. We present a policy for scheduling these tasks on a single core that is inspired by studies of human pe...
143
click to vote
VRST
2006
ACM
16 years 24 days ago
2006
ACM
As the interest of the public for new forms of media grows, museums and theme parks select real time Virtual Reality productions as their presentation medium. Based on threedimens...
193
click to vote
WAIM
2004
Springer
16 years 5 days ago
2004
Springer
In distributed computing systems, processes in different hosts take checkpoints to survive failures. For mobile computing systems, due to certain new characteristics conventional d...
151
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes measurement tests of Parallel Virtual File System (PVFS) and Network File System (NFS) over a commodity Linux cluster connected with Myrinet. PVFS stores a ï¬...