1433 search results - page 5 / 287 » The Design of Large Real-Time Systems: The Time-Triggered Ap... |
ISORC
2007
IEEE
14 years 2 months ago
2007
IEEE
As quality of service (QoS)-enabled component middleware technologies gain widespread acceptance to build distributed real-time and embedded (DRE) systems, it becomes necessary fo...
VLSID
2003
IEEE
14 years 8 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
USENIX
2001
13 years 9 months ago
2001
We present a pragmatic methodology for designing nonblocking real-time systems. Our methodology uses a combination of lock-free and wait-free synchronization techniques and clearl...
ICRA
2002
IEEE
14 years 23 days ago
2002
IEEE
— With the deployment of large, distributed networks of cameras and other sensors, it is becoming necessary to also address the issue of how to effectively present the large vol...
ICRA
2002
IEEE
14 years 23 days ago
2002
IEEE
This paper presents a method to deal the dynamic stability for a mobile manipulator. Although the system has static stability, manipulation on the moving base or mobile locomotion...