1163 search results - page 19 / 233 » Case Studies of Model Checking for Embedded System Designs |
97
Voted
MSE
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper a review of development of manpower in VLSI in India is attempted. In the last decade of the 20th Century, rapid strides have been done in Micro-Electronics in India...
126
click to vote
AHS
2007
IEEE
15 years 5 months ago
2007
IEEE
In the system-on-chip (SoC) era, the growing number of functionalities included on a single chip requires the development of new design methodologies to keep the design complexity...
140
Voted
FORMATS
2007
Springer
15 years 5 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
117
click to vote
EDOC
2004
IEEE
15 years 5 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
103
click to vote
SPIN
2010
Springer
15 years 7 days ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...