442 search results - page 84 / 89 » Resilient State Management in Large Scale Networks |
HPDC
2005
IEEE
14 years 1 months ago
2005
IEEE
Biomolecular simulations produce more output data than can be managed effectively by traditional computing systems. Researchers need distributed systems that allow the pooling of...
VSTTE
2005
Springer
14 years 28 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
ICNSC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— This paper provides a discussion on how teleoperated robots could be utilized to do the simple triage of victims of a multiple casualty incident. Previous work in the a...
MM
2010
ACM
13 years 7 months ago
2010
ACM
Quality control and resource optimization are challenging problems in peer-assisted video streaming systems, due to their large scales and unreliable peer behavior. Such systems a...
ITICSE
2009
ACM
14 years 2 months ago
2009
ACM
The Xen Worlds project at Iowa State University was designed to provide a virtualized lab environment for the Information Assurance program. The large number of off-campus student...