1624 search results - page 64 / 325 » Integrating Fault-Tolerant Techniques into the Design of Cri... |
148
click to vote
ICECCS
1998
IEEE
15 years 10 months ago
1998
IEEE
All systems, regardless of how carefully they have been constructed, suffer failures. This paper focuses on developing a formal understanding of failure with respect to system imp...
154
click to vote
RTAS
2008
IEEE
16 years 17 days ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
182
click to vote
DGO
2007
15 years 7 months ago
2007
A large portion of the government, business, cultural, and scientific digital data being created today needs to be archived and preserved for future use of periods ranging from a ...
136
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
Power consumption and portability issues are becoming increasingly significant in embedded system architectures. Therefore, it is important that chip architects and integrated circ...
199
click to vote
AVI
2006
15 years 7 months ago
2006
In previous work, we proposed ValueCharts, a set of visualizations and interactive techniques to support the inspection of linear models of preferences. We now identify the need t...