932 search results - page 134 / 187 » Verifying Progress in Timed Systems |
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Many large-scale production applications often have very long executions times and require periodic data checkpoints in order to save the state of the computation for program rest...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
Cooperative checkpointing uses global knowledge of the state and health of the machine to improve performance and reliability by dynamically deciding when to skip checkpoint reque...
VRST
2006
ACM
14 years 3 months ago
2006
ACM
The ever increasing speed of Internet connections has led to a point where it is actually possible for every end user to seamlessly share data on Internet. Peer-To-Peer (P2P) netw...
CIVR
2005
Springer
14 years 2 months ago
2005
Springer
Matching people based on their imaged face is hard because of the well known problems of illumination, pose, size and expression variation. Indeed these variations can exceed those...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
A commonly experienced problem with population based optimisation methods is the gradual decline in population diversity that tends to occur over time. This can slow a system’s ...