7 search results - page 1 / 2 » Stabilizers: a modular checkpointing abstraction for concurr... |
ICFP
2006
ACM
16 years 15 days ago
2006
ACM
119
click to vote
ENTCS
2007
15 years 15 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...
106
click to vote
JFP
2010
14 years 11 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...
79
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We propose a new formalisation of stability for Rely-Guarantee, in which an assertion's stability is encoded into its syntactic form. This allows two advances in mod...
207
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
rrent ML, synchronization abstractions can be defined and passed as values, much like functions in ML. This mechanism admits a powerful, modular style of concurrent programming, c...