168 search results - page 2 / 34 » Evaluating System Dependability in a Co-Design Framework |
PERCOM
2006
ACM
14 years 4 months ago
2006
ACM
In this paper we present a framework to provide dependability through accountability. Our proposal exploits the asymmetry present in the majority of sensor data processing to chea...
COLING
2010
12 years 11 months ago
2010
Recent kernel-based PPI extraction systems achieve promising performance because of their capability to capture structural syntactic information, but at the expense of computation...
ISCA
2006
IEEE
13 years 10 months ago
2006
IEEE
This paper presents a high-availability system architecture called INDRA — an INtegrated framework for Dependable and Revivable Architecture that enhances a multicore processor ...
IPPS
2007
IEEE
13 years 11 months ago
2007
IEEE
Performing experimental evaluation of fault tolerant distributed systems is a complex and tedious task, and automating as much as possible of the execution and evaluation of exper...
LPAR
2004
Springer
13 years 10 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible ...