425 search results - page 1 / 85 » Automated Synthesis of Multitolerance |
ICDCS
2010
IEEE
13 years 5 months ago
2010
IEEE
—In this paper, we classify multitolerant systems, i.e., systems that tolerate multiple classes of faults and provide potentially different levels of tolerance to them in terms o...
DSN
2004
IEEE
13 years 8 months ago
2004
IEEE
We concentrate on automated synthesis of multitolerant programs, i.e., programs that tolerate multiple classes of faults and provide a (possibly) different level of fault-toleranc...
DAC
2002
ACM
14 years 5 months ago
2002
ACM
ICCAD
2002
IEEE
14 years 1 months ago
2002
IEEE
With increasing design sizes and adoption of System on a Chip (SoC) methodology, design synthesis and test automation tools are hitting capacity and performance bottlenecks. Curre...
WWW
2009
ACM
14 years 5 months ago
2009
ACM
In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified...