Sciweavers

134 search results - page 19 / 27
» A function-centred approach to joint driver-vehicle system d...
Sort
View
TACAS
1998
Springer
81views Algorithms» more  TACAS 1998»
14 years 3 months ago
Formal Design and Analysis of a Gear Controller
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
Magnus Lindahl, Paul Pettersson, Wang Yi
TCAD
2008
167views more  TCAD 2008»
13 years 10 months ago
System-Level Dynamic Thermal Management for High-Performance Microprocessors
Abstract--Thermal issues are fast becoming major design constraints in high-performance systems. Temperature variations adversely affect system reliability and prompt worst-case de...
Amit Kumar 0002, Li Shang, Li-Shiuan Peh, Niraj K....
ICRA
2005
IEEE
128views Robotics» more  ICRA 2005»
14 years 4 months ago
Carbon Fiber Components with Integrated Wiring for Millirobot Prototyping
- We are developing a process to quickly prototype millirobotic systems in which the approach is to identify and develop a construction kit for fabricating almost any design, simil...
Ranjana Sahai, Erik Steltz, Ronald S. Fearing
CODES
2006
IEEE
14 years 2 months ago
Increasing hardware efficiency with multifunction loop accelerators
To meet the conflicting goals of high-performance low-cost embedded systems, critical application loop nests are commonly executed on specialized hardware accelerators. These loop...
Kevin Fan, Manjunath Kudlur, Hyunchul Park, Scott ...
NCA
2010
IEEE
13 years 5 months ago
Anatomy-based organization of morphology and control in self-reconfigurable modular robots
In this paper we address the challenge of realizing full-body behaviors in scalable modular robots. We present an experimental study of a biologically inspired approach to organize...
David Johan Christensen, Jason Campbell, Kasper St...