932 search results - page 142 / 187 » Verifying Progress in Timed Systems |
ICARCV
2006
IEEE
14 years 3 months ago
2006
IEEE
– Smart camera, or an intelligent camera, is an embedded vision system which captures and processes image to extract application-specific information in real time. Smart cameras ...
JIT
2004
Springer
14 years 2 months ago
2004
Springer
Service Oriented Architectures (SOAs) have recently emerged as a new promising paradigm for supporting distributed computing. Web services, as well as integration-packages relying ...
SIGMETRICS
2002
ACM
13 years 8 months ago
2002
ACM
Computer system designers often evaluate future design alternatives with detailed simulators that strive for functional fidelity (to execute relevant workloads) and performance fi...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others)....
TIC
2000
Springer
14 years 18 days ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...