Patrick C. McGeer

Publication Activity (10 Years)

Years Active: 1984-2015
Publications (10 Years): 0

Top Topics

Scientific Visualization

Visual Exploration

Software Environment

Programming Language

Top Venues

Publications

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