272 search results - page 45 / 55 » Dependability Analysis: A New Application for Run-Time Recon... |
ICCAD
1996
IEEE
13 years 11 months ago
1996
IEEE
Designer's productivity has become the key-factor of the development of electronic systems. An increasing application of design data reuse is widely recognized as a promising...
DSN
2004
IEEE
13 years 11 months ago
2004
IEEE
Multi-homed and overlay networks are two widely studied approaches aimed at leveraging the inherent redundancy of the Internet's underlying routing infrastructure to enhance ...
ISCI
2006
13 years 7 months ago
2006
Many special purpose algorithms exist for extracting information from streaming data. Constraints are imposed on the total memory and on the average processing time per data item....
RECOMB
2005
Springer
14 years 7 months ago
2005
Springer
The multiple species de novo gene prediction problem can be stated as follows: given an alignment of genomic sequences from two or more organisms, predict the location and structur...
ICCAD
2001
IEEE
14 years 4 months ago
2001
IEEE
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...