1163 search results - page 71 / 233 » Case Studies of Model Checking for Embedded System Designs |
144
click to vote
QOSA
2010
Springer
15 years 5 months ago
2010
Springer
The use of redundant computational nodes is a widely used design tactic to improve the reliability of complex embedded systems. However, this redundancy allocation has also an effe...
124
click to vote
ICCAD
2003
IEEE
16 years 1 months ago
2003
IEEE
Dynamic voltage scaling (DVS) is arguably the most effective energy reduction technique. The multiple-voltage DVS systems, which can operate only at pre-determined discrete voltag...
152
click to vote
SEUS
2005
IEEE
15 years 9 months ago
2005
IEEE
In the last years the number of electronic control systems has increased significantly. In order to stay competitive more and more functionality is integrated into more and more p...
129
Voted
XPU
2005
Springer
15 years 9 months ago
2005
Springer
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...
180
click to vote
CIDR
2011
14 years 7 months ago
2011
This paper argues that next generation database management systems should incorporate a predictive model management component to effectively support both inward-facing application...