1128 search results - page 37 / 226 » Dynamic Communication Models in Embedded System Co-Simulatio... |
101
click to vote
DAC
2003
ACM
15 years 10 months ago
2003
ACM
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
110
click to vote
SDL
2007
14 years 11 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
JLP
2008
14 years 9 months ago
2008
A bio-inspired language is presented. Its terms are processes enclosed into boxes with typed interaction sites. The main feature of the formalism lays in the fact that the key-loc...
109
click to vote
ICDCSW
2009
IEEE
15 years 4 months ago
2009
IEEE
Embedded wireless networks have largely focused on openloop sensing and monitoring. To address actuation in closedloop wireless control systems there is a strong need to re-think ...
DATE
2007
IEEE
2007
IEEE
Energy minimization with soft real-time and DVS for uniprocessor and multiprocessor embedded systems
15 years 1 months ago
Energy-saving is extremely important in real-time embedded systems. Dynamic Voltage Scaling (DVS) is one of the prime techniques used to achieve energy-saving. Due to the uncertai...