6568 search results - page 1080 / 1314 » Reducing the Complexity of Reductions |
170
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
154
click to vote
DAGM
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we present a real-time PCB inspection system which can detect defects including the breaks in the wires and short circuit. The proposed inspection algorithm is based...
173
click to vote
DBISP2P
2003
Springer
15 years 12 months ago
2003
Springer
When joining information provider peers to a peer-to-peer network, an arbitrary distribution is sub-optimal. In fact, clustering peers by their characteristics, enhances search and...
164
click to vote
ECAL
2003
Springer
15 years 12 months ago
2003
Springer
Abstract Wherever we see life, we see different kinds of complex networks, reason why they are studied across various fields of science. Random Boolean Networks (RBNs) form a spe...
144
click to vote
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time t...