854 search results - page 23 / 171 » Timing coverification of concurrent embedded real-time syste... |
VLSID
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a very efficient and versatile method to handle Dynamic Voltage Scaling for minimizing energy consumption in an embedded system processor while maintaining rea...
RTAS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper provides two contributions to the study of developing and applying domain-specific modeling languages (DSMLS) to distributed real-time and embedded (DRE) systems – p...
101
click to vote
CSREAESA
2006
14 years 11 months ago
2006
We present our joint view for efficient development of efficient and dependable ERTS (Embedded Real-Time Systems). This view is based on the three main viewpoints of (1) the softw...
108
click to vote
ADAEUROPE
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applicatio...
101
click to vote
RTAS
2006
IEEE
15 years 3 months ago
2006
IEEE
Recent studies show that, voltage scaling, which is an efficient energy management technique, has a direct and negative effect on system reliability because of the increased rate...