1163 search results - page 77 / 233 » Case Studies of Model Checking for Embedded System Designs |
170
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
In current embedded systems, one of the major concerns is energy conservation. The dynamic voltage-scheduling (DVS) framework, which involves dynamically adjusting the voltage and...
168
Voted
ICPPW
2007
IEEE
15 years 10 months ago
2007
IEEE
We study the role of task-level scheduling in power management on multicore multiple voltage embedded systems. Multicore on-achip, in particular DSP systems, can greatly improve p...
164
click to vote
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
125
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
158
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...