19866 search results - page 3609 / 3974 » Computing all factorizations in *** |
210
click to vote
DAC
2003
ACM
16 years 26 days ago
2003
ACM
In recent years, due to rapid advances in VLSI manufacturing technology capable of packing more and more devices and wires on a chip, crosstalk has emerged as a serious problem af...
237
click to vote
IMC
2003
ACM
16 years 26 days ago
2003
ACM
In this paper, we consider the problem of how to represent the locations of Internet hosts in a Cartesian coordinate system to facilitate estimate of the network distance between ...
192
click to vote
ISPD
2003
ACM
16 years 26 days ago
2003
ACM
Delay evaluation is always a crucial concern in the VLSI design and it becomes increasingly more critical in the nowadays deep-submicron technology. To obtain an accurate delay va...
237
click to vote
MOBICOM
2003
ACM
16 years 26 days ago
2003
ACM
We develop algorithms for finding minimum energy disjoint paths in an all-wireless network, for both the node and linkdisjoint cases. Our major results include a novel polynomial...
207
click to vote
PLDI
2003
ACM
16 years 26 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...