3387 search results - page 481 / 678 » Model-Checking for Real-Time Systems |
172
Voted
ICPR
2006
IEEE
16 years 6 months ago
2006
IEEE
We describe a real-time, low-cost system to localize a mobile robot in outdoor environments. Our system relies on stereo vision to robustly estimate frame-to-frame motion in real ...
167
Voted
ICIAP
2007
ACM
16 years 5 months ago
2007
ACM
Research in visual surveillance systems is shifting from using few stationary, passive cameras to employing large heterogeneous sensor networks. One promising type of sensor in pa...
147
click to vote
RTAS
2009
IEEE
15 years 12 months ago
2009
IEEE
This paper presents a new algorithm for fixed-priority scheduling of sporadic task systems on multiprocessors. The algorithm is categorized to such a scheduling class that quali...
130
click to vote
FDL
2007
IEEE
15 years 11 months ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...
145
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a framework to design real-time event-based applications using Java. The Real-Time Specification for Java (RTSJ) is well designed for hard periodic real-time ...