357 search results - page 7 / 72 » Specifying and Verifying Fault-Tolerant Systems |
ICFEM
1997
Springer
13 years 11 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
SAFECOMP
1999
Springer
13 years 12 months ago
1999
Springer
Microprocessor-based systems are increasingly used to control safety-critical systems (e.g., air and railway traffic control, nuclear plant control, aircraft and car control). In t...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
IPPS
1999
IEEE
13 years 12 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
HCW
1998
IEEE
13 years 12 months ago
1998
IEEE
CCS is a resource management system for parallel high-performance computers. At the user level, CCS provides vendor-independent access to parallel systems. At the system administr...