Sciweavers

3565 search results - page 516 / 713
» Modeling a system controller for timing analysis
Sort
View
137
Voted
ATAL
2010
Springer
15 years 5 months ago
Cultivating desired behaviour: policy teaching via environment-dynamics tweaks
In this paper we study, for the first time explicitly, the implications of endowing an interested party (i.e. a teacher) with the ability to modify the underlying dynamics of the ...
Zinovi Rabinovich, Lachlan Dufton, Kate Larson, Ni...
FORMATS
2008
Springer
15 years 6 months ago
Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...
Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski...
128
Voted
ICCAD
2004
IEEE
141views Hardware» more  ICCAD 2004»
16 years 1 months ago
The effects of energy management on reliability in real-time embedded systems
Abstract—The slack time in real-time systems can be used by recovery schemes to increase system reliability as well as by frequency and voltage scaling techniques to save energy....
Dakai Zhu, Rami G. Melhem, Daniel Mossé
VLSID
2004
IEEE
120views VLSI» more  VLSID 2004»
16 years 5 months ago
Dynamic Power Optimization of Interactive Systems
Abstract-- Power has become a major concern for mobile computing systems such as laptops and handhelds, on which a significant fraction of software usage is interactive instead of ...
Lin Zhong, Niraj K. Jha
116
Voted
GROUP
2009
ACM
15 years 11 months ago
Lazy scheduling of processing and transmission tasks in collaborative systems
A collaborative system must perform both processing and transmission tasks. We present a policy for scheduling these tasks on a single core that is inspired by studies of human pe...
Sasa Junuzovic, Prasun Dewan