1105 search results - page 172 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
220
Voted
ICOM
2011
14 years 6 months ago
2011
In this paper we describe an implicit user interface for smart environment control: We make our system guess how to assist the user(s) proactively. Our controller is based on two ...
126
Voted
ICCAD
2001
IEEE
16 years 9 days ago
2001
IEEE
Dynamic voltage scaling (DVS) is a technique that varies the supply voltage and clock frequency based on the computation load to provide desired performance with the minimal amoun...
116
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
125
click to vote
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
175
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two popular techniques commonly employed to save energy in real-time embedded systems. DVS policies aim at red...