668 search results - page 15 / 134 » Implementing and Evaluating Automatic Checkpointing |
WCET
2008
13 years 8 months ago
2008
Static WCET analysis obtains a safe estimation of the WCET of a program. The timing behaviour of a program depends in many cases on input, and an analysis could take advantage of ...
PPOPP
2006
ACM
14 years 20 days ago
2006
ACM
Processor virtualization via migratable objects is a powerful technique that enables the runtime system to carry out intelligent adaptive optimizations like dynamic resource manag...
DELOS
2007
13 years 8 months ago
2007
The similarity search has become a fundamental computational task in many applications. One of the mathematical models of the similarity – the metric space – has drawn attenti...
EDCC
2006
Springer
13 years 10 months ago
2006
Springer
- This paper proposes a novel technique for preventing a wide range of data errors from corrupting the execution of applications. The proposed technique enables automated derivatio...
ICDAR
2007
IEEE
13 years 8 months ago
2007
IEEE
Performance evaluation for document image analysis and understanding is a recurring problem. Many groundtruthed document image databases are now used to evaluate general algorithm...