218 search results - page 7 / 44 » Timed automata with observers under energy constraints |
119
click to vote
RTAS
2000
IEEE
15 years 5 months ago
2000
IEEE
—Many embedded systems operate under severe power and energy constraints. Voltage clock scaling is one mechanism by which energy consumption may be reduced: It is based on the fa...
119
click to vote
ICTAC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
116
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
? In this paper we propose an adaptive scheduling and voltage/frequency selection algorithm which targets at energy harvesting systems. The proposed algorithm adjusts the processor...
112
click to vote
PODC
2010
ACM
15 years 5 months ago
2010
ACM
A token is hidden in one of several boxes and then the boxes are locked. The probability of placing the token in each of the boxes is known. A searcher is looking for the token by...
144
click to vote
SIES
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--In distributed embedded systems operated by battery, energy management is a critical issue that has to be addressed at different architecture levels. For systems that tig...