1163 search results - page 187 / 233 » Case Studies of Model Checking for Embedded System Designs |
135
click to vote
WSC
2000
15 years 3 months ago
2000
Discrete Event Simulation (DES) has been used as a design and validation tool in various production and business applications. DES can also be utilized for analyzing the product-m...
124
click to vote
DAC
1998
ACM
16 years 2 months ago
1998
ACM
Dynamic power management schemes (also called policies) can be used to control the power consumption levels of electronic systems, by setting their components in different states,...
136
click to vote
IAJIT
2011
14 years 5 months ago
2011
: In recent years, Muslims have depended on the Halal logo, displayed on food packaging, to indicate that the products are prepared according to Halal precepts. As laid out in the ...
150
click to vote
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
Multi-Processor System-On-Chip (MPSoC) can provide the performance levels required by high-end embedded applications. However, they do so at the price of an increasing power densi...
117
click to vote
JSS
2007
15 years 1 months ago
2007
Designing large software systems out of reusable components has become increasingly popular. Although liberal composition of reusable components saves time and expense, many exper...