1105 search results - page 33 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
WACV
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper describes a method for tracking human body motion from multiple views in real-time. The method extracts silhouettes in each view using background subtraction, and then ...
APSEC
1998
IEEE
14 years 29 days ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
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...
PATMOS
2007
Springer
14 years 2 months ago
2007
Springer
This work deals with the problem to optimise the energy consumption of an embedded system. On system level, tasks are assumed to have a certain CPU-usage they need for completion. ...