3256 search results - page 457 / 652 » Applications of Formal Methods to System Design and Verifica... |
144
click to vote
EMSOFT
2009
Springer
15 years 12 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
133
click to vote
DAC
2002
ACM
16 years 6 months ago
2002
ACM
Since software is playing an increasingly important role in systemon-chip, retargetable compilation has been an active research area in the last few years. However, the retargetti...
237
click to vote
CLIMA
2011
14 years 5 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
187
click to vote
SDM
2012
SIAM
13 years 7 months ago
2012
SIAM
A Cyber-Physical System (CPS) integrates physical (i.e., sensor) devices with cyber (i.e., informational) components to form a situation-aware system that responds intelligently t...
137
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
We present new methods to extend data reliability of disks in RAID systems for applications like long term data archival. The proposed solutions extend existing algorithms to detec...