3218 search results - page 60 / 644 » Timed Extensions for SDL |
144
Voted
SEW
2007
IEEE
15 years 9 months ago
2007
IEEE
The communication and tasking infrastructure of a realtime application makes up a significant portion of any embedded control system. Traditionally, the tasking and communication...
109
click to vote
CVPR
2005
IEEE
15 years 8 months ago
2005
IEEE
This work presents a real-time system for multiple objects tracking in dynamic scenes. A unique characteristic of the system is its ability to cope with longduration and complete ...
128
Voted
ECRTS
2005
IEEE
15 years 8 months ago
2005
IEEE
Advances in wireless technology have brought us closer to extensive deployment of distributed real-time embedded systems connected through a wireless channel. The medium access co...
102
click to vote
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper describes the design of the OpenSTARS real-time analysis tool. The paper focuses on criteria for a good analysis tool including correctness, performance/scalability, fl...
126
click to vote
FATES
2004
Springer
15 years 8 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...