Sciweavers

DATE
2004
IEEE
151views Hardware» more  DATE 2004»
13 years 11 months ago
Dynamic Voltage and Cache Reconfiguration for Low Power
Given a set of real-time tasks scheduled using the earliest deadline first (EDF) algorithm, we discuss two techniques for reducing power consumption while meeting all timing requi...
André C. Nácul, Tony Givargis
COMPSAC
2002
IEEE
14 years 13 days ago
Formalizing Incremental Design in Real-time Area: SCTL/MUS-T
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
Ana Fernández Vilas, José J. Pazos A...
RTSS
2003
IEEE
14 years 22 days ago
Periodic Resource Model for Compositional Real-Time Guarantees
We address the problem of providing compositional hard real-time guarantees in a hierarchy of schedulers. We first propose a resource model to characterize a periodic resource al...
Insik Shin, Insup Lee
ECRTS
2003
IEEE
14 years 23 days ago
Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
Iain Bate, Peter Nightingale, Anton Cervin
SCOPES
2004
Springer
14 years 24 days ago
Predictable Embedded Multiprocessor System Design
Consumers have high expectations about the video and audio quality delivered by media processing devices like TVsets, DVD-players and digital radios. Predictable heterogenous appl...
Marco Bekooij, Orlando Moreira, Peter Poplavko, Ba...
FM
2005
Springer
88views Formal Methods» more  FM 2005»
14 years 1 months ago
Timing Tolerances in Safety-Critical Software
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour tha...
Alan Wassyng, Mark Lawford, Xiayong Hu