1163 search results - page 108 / 233 » Case Studies of Model Checking for Embedded System Designs |
168
click to vote
DSRT
2008
IEEE
15 years 6 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
169
click to vote
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
We present the concept of alternative functionality for improving dependability in distributed embedded systems. Alternative functionality is a mechanism that complements traditio...
141
click to vote
CASES
2004
ACM
15 years 10 months ago
2004
ACM
ScratchPad Memories (SPMs) are commonly used in embedded systems because they are more energy-efficient than caches and enable tighter application control on the memory hierarchy...
119
click to vote
KES
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This research develops an optimal planning model for pump-treatinject based groundwater remediation systems. Optimizing the design of the pump-treat-inject system is a no...
131
click to vote
MSE
2005
IEEE
15 years 10 months ago
2005
IEEE
The fast growing complexity and short time-tomarket of embedded systems designs, besides the great increase in capacity of today’s chips, are mobilizing the industry towards to ...