2891 search results - page 100 / 579 » More or Less Elaborate |
90
Voted
ISPD
2000
ACM
15 years 3 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...
88
Voted
ICCAD
1998
IEEE
15 years 3 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...
76
Voted
FOCS
1994
IEEE
15 years 3 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...
101
click to vote
CEC
2008
IEEE
15 years 28 days 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 11 days 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...