Sciweavers

3256 search results - page 146 / 652
» Integrated Environment for Embedded Control Systems Design
Sort
View
371
Voted
JTRES
2010
ACM
15 years 3 months ago
The design of SafeJML, a specification language for SCJ with support for WCET specification
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
Ghaith Haddad, Faraz Hussain, Gary T. Leavens
VLSID
2009
IEEE
143views VLSI» more  VLSID 2009»
16 years 4 months ago
SACR: Scheduling-Aware Cache Reconfiguration for Real-Time Embedded Systems
Dynamic reconfiguration techniques are widely used for efficient system optimization. Dynamic cache reconfiguration is a promising approach for reducing energy consumption as well...
Weixun Wang, Prabhat Mishra, Ann Gordon-Ross
IJES
2006
134views more  IJES 2006»
15 years 3 months ago
Applying model-driven development to distributed real-time and embedded avionics systems
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
Krishnakumar Balasubramanian, Arvind S. Krishna, E...
140
Voted
ICRA
2007
IEEE
173views Robotics» more  ICRA 2007»
15 years 9 months ago
A humanoid upper body system for two-handed manipulation
— This video presents a humanoid two-arm system developed as a research platform for studying dexterous twohanded manipulation. The system is based on the modular DLR-Lightweight...
Christoph Borst, Christian Ott, Thomas Wimböc...
136
Voted
DAC
2008
ACM
16 years 4 months ago
Latency and bandwidth efficient communication through system customization for embedded multiprocessors
We present a cross-layer customization methodology for latency and bandwidth efficient inter-core communication in embedded multiprocessors. The methodology integrates compiler, o...
Chenjie Yu, Peter Petrov