Patrick C. McGeer

27 papers A* 9A 5C 5Misc 1Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2015 C conf
The Ignite Distributed Collaborative Scientific Visualization System.
CloudCom
Sushil Bhojwani, Matthew Hemmings, Daniel Ingalls, Jens Lincke, Robert Krahn, David John Lary, Patrick C. McGeer, Glenn Ricart, Marko Röder, Yvonne Coady, Ulrike Stege
1998 J jnl
Modeling reactive systems in Java.
ACM Trans. Design Autom. Electr. Syst.
Claudio Passerone, Claudio Sansoè, Luciano Lavagno, Patrick C. McGeer, Jonathan Martin, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
1997 J jnl
Introduction to the Special Issue on Multi-Terminal Binary Decision Diagrams.
Formal Methods Syst. Des.
Masahiro Fujita, Patrick C. McGeer
1997 J jnl
Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation.
Formal Methods Syst. Des.
Masahiro Fujita, Patrick C. McGeer, Jerry Chih-Yuan Yang
1997 A conf
Trace driven logic synthesis - application to power minimization.
ICCAD
Luca P. Carloni, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli
1996 A* conf
Verification of Electronic Systems.
DAC
Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, Alexander Saldanha
1995 A conf
Fast discrete function evaluation using decision diagrams.
ICCAD
Patrick C. McGeer, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli, Patrick Scaglia
1995 A* conf
Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool.
DAC
Luciano Lavagno, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli
1994 A* conf
DA Algorithms in Non-EDA Applications: How Universal Are Our Techniques? (Panel).
DAC
Patrick C. McGeer, Steven Trimberger, Erik Carlson, Dave Hightower, Ulrich Lauther, Alberto L. Sangiovanni-Vincentelli
1994 C conf
Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams.
ISCAS
Masahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. Clarke, Xudong Zhao, Patrick C. McGeer
1994 A* conf
Performance Optimization Using Exact Sensitization.
DAC
Alexander Saldanha, Heather Harkness, Patrick C. McGeer, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1993 J jnl
ESPRESSO-SIGNATURE: a new exact minimizer for logic functions.
IEEE Trans. Very Large Scale Integr. Syst.
Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1993 A* conf
Espresso-Signature: A New Exact Minimizer for Logic Functions.
DAC
Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1993 Misc conf
Minimization of Logic Functions Using Essential Signature Sets.
VLSI Design
Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1993 A* conf
On Computing the Transitive Closure of a State Transition Relation.
DAC
Yusuke Matsunaga, Patrick C. McGeer, Robert K. Brayton
1992 C conf
Delay Prediction for Technology-Independent Logic Equations.
ICCD
Paul T. Gutwin, Patrick C. McGeer, Robert K. Brayton
1991 A conf
Performance Enhancement through the Generalized Bypass Transform.
ICCAD
Patrick C. McGeer, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sartaj Sahni
1991 C conf
Robust Path Delay-Fault Testability on Dynamic CMOS Circuits.
ICCD
Patrick C. McGeer
1991 A conf
Timing Analysis and Delay-Fault Test Generation using Path-Recursive Functions.
ICCAD
Patrick C. McGeer, Alexander Saldanha, Paul R. Stephan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1990 C conf
The observability don't-care set and its approximations.
ICCD
Patrick C. McGeer, Robert K. Brayton
1990 A* conf
Timing Analysis in Precharge/Unate Networks.
DAC
Patrick C. McGeer, Robert K. Brayton
1989 A conf
Consistency and observability invariance in multi-level logic synthesis.
ICCAD
Patrick C. McGeer, Robert K. Brayton
1989 A* conf
Efficient Algorithms for Computing the Longest Viable Path in a Combinational Network.
DAC
Patrick C. McGeer, Robert K. Brayton
1989 A* conf
Efficient Prime Factorization of Logic Expressions.
DAC
Patrick C. McGeer, Robert K. Brayton
1988 J jnl
Are applicative languages inefficient?
ACM SIGPLAN Notices
Carl Ponder, Patrick C. McGeer, Antony P.-C. Ng
1987 — conf
Experience with Prolog as a Hardware Specification Language.
SLP
William R. Bush, Gino Cheng, Patrick C. McGeer, Alvin M. Despain
1984 J jnl
A discussion and implementation of Brown's REX simplification algorithm.
SIGSAM Bull.
Patrick C. McGeer