3155 search results - page 109 / 631 » Maintenance: Less Is Not More |
131
click to vote
ISPD
2000
ACM
15 years 8 months ago
2000
ACM
In this paper, we present an algorithm for delay minimization of interconnect trees by simultaneous buffer insertion/sizing and wire sizing. The algorithm integrates the quadratic...
133
click to vote
ICCAD
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
115
click to vote
FOCS
1994
IEEE
15 years 8 months ago
1994
IEEE
We consrder asynchronous general topology dynamic networks of identical nameless nodes wzth worst-case transient faults. Starting from any faulty configuration, our protocols self...
159
click to vote
CEC
2008
IEEE
15 years 6 months ago
2008
IEEE
It is often suggested that traditional models of artificial evolution, based on explicit, human-defined fitness functions, are fundamentally more restricted and less creative than ...
LREC
2010
15 years 5 months ago
2010
This article discusses the treatment of collocations in the context of a long-term project on the development of multilingual NLP tools. Besides "classical" two-word col...