4520 search results - page 15 / 904 » Algebraic Techniques for Timed Systems |
113
click to vote
LCTRTS
2001
Springer
15 years 6 months ago
2001
Springer
This paper presents an end-to-end synthesis technique for lowpower distributed real-time system design. This technique synthesizes supply voltages of resources to optimize system-...
127
click to vote
EUROMICRO
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...
100
click to vote
MUE
2008
IEEE
15 years 8 months ago
2008
IEEE
The capability of providing real-time multimedia player over the Internet is an important future application for embedded system. However, the main challenge of such an applicatio...
126
click to vote
ICECCS
1998
IEEE
15 years 6 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
160
click to vote
RTSS
1998
IEEE
15 years 6 months ago
1998
IEEE
The energy efficiency of systems-on-a-chip can be much improved if one were to vary the supply voltage dynamically at run time. In this paper we describe the synthesis of systems-...