1163 search results - page 104 / 233 » Case Studies of Model Checking for Embedded System Designs |
149
click to vote
LCTRTS
2000
Springer
15 years 8 months ago
2000
Springer
Low energy consumption is becoming the primary design consideration for battery-operated and portable embedded systems, such as personal digital assistants, digital still and movi...
131
click to vote
SAC
2002
ACM
15 years 4 months ago
2002
ACM
This paper explores the limitations of one technique for modelling computer-based systems with evolving requirements. A case study is introduced which highlights the importance of...
129
click to vote
CASES
2006
ACM
15 years 8 months ago
2006
ACM
We present a new technique for compiling run-time reconfigurable hardware designs. Run-time reconfigurable embedded systems can deliver promising benefits over implementations in ...
128
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we consider minimizing the system-level energy consumption through dynamic voltage scaling for embedded devices, while a) allowing concurrent access to shared objec...
133
click to vote
ISMVL
2003
IEEE
15 years 9 months ago
2003
IEEE
The complexity of todays hardware systems steadily increases. Due to this fact new ways of efficiently describing systems are investigated. A very promising approach in this area...