16725 search results - page 3065 / 3345 » Engineering Software Correctness |
140
click to vote
JFP
2010
15 years 2 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...
142
click to vote
JSAC
2010
15 years 2 months ago
2010
—The advent of practical rateless codes enables implementation of highly efficient packet-level forward error correction (FEC) strategies for reliable data broadcasting in loss-...
146
click to vote
ICCAD
2010
IEEE
15 years 2 months ago
2010
IEEE
Extreme technology scaling in silicon devices drastically affects reliability, particularly because of runtime failures induced by transistor wearout. Currently available online t...
151
click to vote
MEMOCODE
2010
IEEE
15 years 2 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
186
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: Alternative splicing of pre-mature RNA is an important process eukaryotes utilize to increase their repertoire of different protein products. Several types of differen...