348 search results - page 1 / 70 » Verification of Language Based Fault-Tolerance |
EUROCAST
2005
Springer
13 years 10 months ago
2005
Springer
ESOP
2010
Springer
14 years 2 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
FORMATS
2004
Springer
13 years 8 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
CADE
2007
Springer
14 years 5 months ago
2007
Springer
Fault tolerance mechanisms are a key ingredient of dependable systems. In particular, software-implemented hardware fault tolerance (SIHFT) is gaining in popularity, because of its...
ICDCSW
2006
IEEE
13 years 11 months ago
2006
IEEE
The Fluids and Combustion Facility (FCF) will be a permanent modular, multi-user facility used to accommodate microgravity science experiments in the U.S. Laboratory Module onboar...