Sciweavers

12084 search results - page 352 / 2417
» Effect Systems with Subtyping
Sort
View
ACSD
2003
IEEE
159views Hardware» more  ACSD 2003»
16 years 25 days ago
Case Studies of Model Checking for Embedded System Designs
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
IEEEAMS
2003
IEEE
16 years 25 days ago
Smart Doorplates - Toward an Autonomic Computing System
The last three decades proved Moore’s Law. We witnessed an exponential increase in processing power, memory capacity and communication bandwidth and we expect this increase to c...
Wolfgang Trumler, Faruk Bagci, Jan Petzold, Theo U...
RTAS
2002
IEEE
16 years 13 days ago
Performance Comparison of Dynamic Voltage Scaling Algorithms for Hard Real-Time Systems
Dynamic voltage scaling (DVS) is an effective low-power design technique for embedded real-time systems. In recent years, many DVS algorithms have been proposed for reducing the e...
Woonseok Kim, Dongkun Shin, Han-Saem Yun, Jihong K...
WACV
2002
IEEE
16 years 13 days ago
A PDA-based Face Recognition System
In this paper, we present a PDA-based face recognition system as well as some of the associated challenges of developing a PDAbased face recognition system. We describe a prototyp...
Jie Yang, Xilin Chen, William Kunz
CDC
2009
IEEE
116views Control Systems» more  CDC 2009»
16 years 8 days ago
Autonomous motorcycles for agile maneuvers, part II: Control systems design
— In this paper, we present trajectory tracking and balancing of autonomous motorcycles for agile maneuvers. Based on the newly developed autonomous motorcycle dynamics in the co...
Jingang Yi, Yizhai Zhang, Dezhen Song