1453 search results - page 81 / 291 » Scheduling for Embedded Real-Time Systems |
125
Voted
RTSS
2000
IEEE
15 years 7 months ago
2000
IEEE
The maturity of schedulabilty analysis techniquesfor fired-prioritypreemptive scheduling has enabled the consideration of timing issues at design time using a specification of the...
176
click to vote
RTSS
1998
IEEE
15 years 7 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-...
149
Voted
BIRTHDAY
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
146
Voted
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
139
click to vote
RTSS
2007
IEEE
15 years 9 months ago
2007
IEEE
In multiprocessor systems, the traffic on the bus does not solely originate from data transfers due to data dependencies between tasks, but is also affected by memory transfers a...