619 search results - page 124 / 124 » The Design and Implementation of a Certifying Compiler |
IEEECIT
2010
IEEE
13 years 3 months ago
2010
IEEE
With the increasing popularity of COTS (commercial off the shelf) components and multi-core processor in space and aviation applications, software fault tolerance becomes attracti...
JFP
2010
13 years 3 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...
LCTRTS
2007
Springer
13 years 11 months ago
2007
Springer
Embedded systems serve an emerging and diverse set of applications. As a result, more computational and storage capabilities are added to accommodate ever more demanding applicati...
CG
2005
Springer
13 years 5 months ago
2005
Springer
OpenGL is the industry-leading, cross-platform graphics application programming interface (API), and the only major API with support for virtually all operating systems. Many lang...