3356 search results - page 324 / 672 » Determining Consensus Numbers |
118
click to vote
GLVLSI
1996
IEEE
15 years 5 months ago
1996
IEEE
In this paper, we propose a global routing algorithm for multi-layer building-block layouts. The algorithm is based on successive ripup and rerouting while satisfying edge capacit...
97
Voted
ICCAD
1996
IEEE
15 years 5 months ago
1996
IEEE
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an integrated algorithmic framework for SAT that unifies several previously proposed searchp...
91
Voted
INFOCOM
1996
IEEE
15 years 5 months ago
1996
IEEE
This report analyzes two popular heuristics for ensuring packet integrity in ATM switching systems. In particular, we analyze the behavior of packet tail discarding, in order to u...
114
click to vote
ISSAC
1997
Springer
15 years 5 months ago
1997
Springer
Resultants characterize the existence of roots of systems of multivariate nonlinear polynomial equations, while their matrices reduce the computation of all common zeros to a prob...
101
Voted
SIGCOMM
1994
ACM
15 years 5 months ago
1994
ACM
Network arrivals are often modeled as Poisson processes for analytic simplicity, even though a number of traffic studies have shown that packet interarrivals are not exponentially...