487 search results - page 98 / 98 » Implementation Correctness of a Real-Time Operating System |
BMCBI
2007
13 years 6 months ago
2007
Background: A finite state machine manipulating information-carrying DNA strands can be used to perform autonomous molecular-scale computations at the cellular level. Results: We ...
JFP
2010
13 years 4 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...