1980 search results - page 104 / 396 » Compositional Model Checking of Real Time Systems |
148
click to vote
IJNS
2000
15 years 1 months ago
2000
An architecture is proposed for the realization of real-time edge-extraction filtering operation in an Address-Event-Representation (AER) vision system. Furthermore, the approach ...
128
click to vote
CVPR
2005
IEEE
16 years 3 months ago
2005
IEEE
Projection systems can be used to implement augmented reality, as well as to create both displays and interfaces on ordinary surfaces. Ordinary surfaces have varying reflectance, ...
143
click to vote
ECBS
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
102
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...
121
click to vote
CGO
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Multicore systems have not only become ubiquitous in the desktop and server worlds, but are also becoming the standard in the embedded space. Multicore offers programabi...