Sciweavers

2171 search results - page 152 / 435
» Cooperative Validation in Distributed Control Systems Design
Sort
View
CASES
2006
ACM
15 years 7 months ago
Methods for power optimization in distributed embedded systems with real-time requirements
Dynamic voltage scaling and sleep state control have been shown to be extremely effective in reducing energy consumption in CMOS circuits. Though plenty of research papers have st...
Razvan Racu, Arne Hamann, Rolf Ernst, Bren Mochock...
110
Voted
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
15 years 8 months ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...
ISER
2004
Springer
142views Robotics» more  ISER 2004»
15 years 7 months ago
Design and Modeling of a Selective-Actuation XYZ Flexure Parallel Mechanism
This paper presents the design of a selective-actuation flexure parallel mechanism that can provide three independent translational motions. The mechanism can be used as an ultra p...
Huy-Hoang Pham, I-Ming Chen
FSR
2003
Springer
251views Robotics» more  FSR 2003»
15 years 7 months ago
Distributed Search and Rescue with Robot and Sensor Teams
We develop a network of distributed mobile sensor systems as a solution to the emergency response problem. The mobile sensors are inside a building and they form a connected ad-ho...
George Kantor, Sanjiv Singh, Ronald A. Peterson, D...
102
Voted
HOTI
2005
IEEE
15 years 7 months ago
Control Path Implementation for a Low-Latency Optical HPC Switch
— A crucial part of any high-performance computing system is its interconnection network. In the OSMOSIS project, Corning and IBM are jointly developing a demonstrator interconne...
Cyriel Minkenberg, François Abel, Peter M&u...