425 search results - page 14 / 85 » Automated Synthesis of Multitolerance |
DATE
2002
IEEE
14 years 13 days ago
2002
IEEE
Advancing technology drives design technology and thus design automation EDA . How to model interconnect, how to handle degradation of signal integrity and increasing power densi...
ICCD
2006
IEEE
14 years 1 months ago
2006
IEEE
Microfluidics-based biochips offer exciting possibilities for highthroughput sequencing, parallel immunoassays, blood chemistry for clinical diagnostics, DNA sequencing, and envir...
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
The puzzle assembly problem has many application areas such as restoration and reconstruction of archeological findings, repairing of broken objects, solving jigsaw type puzzles, ...
DAC
2001
ACM
14 years 8 months ago
2001
ACM
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
SSS
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...