2838 search results - page 455 / 568 » Verifying Controlled Components |
PIMRC
2008
IEEE
14 years 4 months ago
2008
IEEE
—Highways are an essential component of our society because they are critical to quality of life and to local and national economies. Under good conditions, highways provide a sa...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— A number of conceptually simple but behaviorrich “inverted pendulum” humanoid models have greatly enhanced the understanding and analytical insight of humanoid dyna...
EMSOFT
2004
Springer
14 years 3 months ago
2004
Springer
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the...
RTSS
2003
IEEE
14 years 3 months ago
2003
IEEE
Often, data used in on-line decision making (for example, in determining how to react to changes in process behavior, traffic flow control, etc.) is dynamic in nature and hence ...
HPDC
1999
IEEE
14 years 2 months ago
1999
IEEE
Efficient and robust metacomputing requires the decomposition of complex jobs into tasks that must be scheduled on distributed processing nodes. There are various ways of creating...