2811 search results - page 64 / 563 » Real-Time Component-Based Systems |
TKDE
2002
13 years 8 months ago
2002
FM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
JDCTA
2010
13 years 3 months ago
2010
Performance indexes of the embedded real-time operating system are not isolated but interacting with each other. Two sets of elements aiming to describe the relationship between t...
ICPR
2004
IEEE
14 years 10 months ago
2004
IEEE
1 We present a high speed machine vision system for the inspection and quality assurance of canned tuna, which is currently working at a rate over 1000 cans per minute. The system ...
SEUS
2008
IEEE
14 years 3 months ago
2008
IEEE
The computing systems are becoming deeply embedded into ordinary life and interact with physical processes and events. They monitor the physical world with sensors and provide app...