1261 search results - page 134 / 253 » Extending the Capabilities of Component Models for Embedded ... |
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
- Posture stabilization of a compliant framed modular mobile robot is the subject of this paper. This is a new type of wheeled mobile robot that has advantages of a simple modular ...
CODES
2006
IEEE
14 years 3 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
SPIN
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
ICCD
2002
IEEE
14 years 6 months ago
2002
IEEE
— As the cost of embedded sensors and actuators drops, new applications will arise that exploit high density networks of small devices capable of a variety of sensing tasks. Alth...
OSDI
2004
ACM
14 years 9 months ago
2004
ACM
Tools to understand complex system behaviour are essential for many performance analysis and debugging tasks, yet there are many open research problems in their development. Magpi...