9210 search results - page 117 / 1842 » Analyzing Real-Time Systems |
SPIN
2004
Springer
14 years 2 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
We present an integrated approach that provides fault tolerance and dynamic power management for a real-time task executing in an embedded system. Fault tolerance is achieved thro...
FORMATS
2003
Springer
14 years 2 months ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
EMSOFT
2001
Springer
14 years 1 months ago
2001
Springer
Dynamic storage allocation and automatic garbage collection are among the most popular features that high-level languages can offer. However, timecritical applications cannot be wr...
ICCV
1995
IEEE
14 years 19 days ago
1995
IEEE
We describe our implementation of a parallel depth recovery scheme for a four-camera multibaseline stereo in a convergent configuration. Our system is capable of image capture at ...