3 search results - page 1 / 1 » Lightweight checkpointing for concurrent ML |
102
Voted
JFP
2010
14 years 10 months ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
115
Voted
ENTCS
2007
15 years 6 days ago
2007
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
RTAS
2008
IEEE
15 years 6 months ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...