Sciweavers

ICCAD
1991
IEEE
100views Hardware» more  ICCAD 1991»
15 years 8 months ago
Extraction of Gate Level Models from Transistor Circuits by Four-Valued Symbolic Analysis
The program TRANALYZE generates a gate-level representation of an MOS transistor circuit. The resulting model contains only four-valued unit and zero delay logic primitives, suita...
Randal E. Bryant
ICCAD
1991
IEEE
76views Hardware» more  ICCAD 1991»
15 years 8 months ago
Flexible Block-Multiplier Generation
In a high level synthesis environment there is a strong need for flexible module generators. For the generation of regular structures efficient dedicated module generators can be ...
H. M. A. M. Arts, Jos T. J. van Eijndhoven, Leon S...
ICALP
1991
Springer
15 years 8 months ago
On-Line Algorithms for Weighted Bipartite Matching and Stable Marriages
We give an on-line deterministic algorithm for the weighted bipartite matching problem that achieves a competitive ratio of (2n − 1) in any metric space (where n is the number o...
Samir Khuller, Stephen G. Mitchell, Vijay V. Vazir...
ICALP
1991
Springer
15 years 8 months ago
Ray Shooting in Polygons Using Geodesic Triangulations
Bernard Chazelle, Herbert Edelsbrunner, Michelange...