Patrick C. McGeer

According to our database, Patrick C. McGeer authored at least 26 papers between 1984 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

The Ignite Distributed Collaborative Scientific Visualization System.

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

Proceedings of the 7th IEEE International Conference on Cloud Computing Technology and Science, 2015

1998

Modeling reactive systems in Java.

Claudio Passerone, Claudio Sansoè, Luciano Lavagno, Patrick C. McGeer, Jonathan Martin, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli

ACM Trans. Design Autom. Electr. Syst., 1998

1997

Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation.

Masahiro Fujita, Patrick C. McGeer, Jerry Chih-Yuan Yang

Formal Methods Syst. Des., 1997

Introduction to the Special Issue on Multi-Terminal Binary Decision Diagrams.

Masahiro Fujita, Patrick C. McGeer

Formal Methods Syst. Des., 1997

Trace driven logic synthesis - application to power minimization.

Luca P. Carloni, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

1996

Verification of Electronic Systems.

Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, Alexander Saldanha

Proceedings of the 33st Conference on Design Automation, 1996

1995

Fast discrete function evaluation using decision diagrams.

Patrick C. McGeer, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli, Patrick Scaglia

Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995

Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool.

Luciano Lavagno, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 32st Conference on Design Automation, 1995

1994

Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams.

Masahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. Clarke, Xudong Zhao, Patrick C. McGeer

Proceedings of the 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30, 1994

Performance Optimization Using Exact Sensitization.

Alexander Saldanha, Heather Harkness, Patrick C. McGeer, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 31st Conference on Design Automation, 1994

DA Algorithms in Non-EDA Applications: How Universal Are Our Techniques? (Panel).

Patrick C. McGeer, Steven Trimberger, Erik Carlson, Dave Hightower, Ulrich Lauther, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 31st Conference on Design Automation, 1994

1993

ESPRESSO-SIGNATURE: a new exact minimizer for logic functions.

Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

IEEE Trans. Very Large Scale Integr. Syst., 1993

Minimization of Logic Functions Using Essential Signature Sets.

Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Sixth International Conference on VLSI Design, 1993

On Computing the Transitive Closure of a State Transition Relation.

Yusuke Matsunaga, Patrick C. McGeer, Robert K. Brayton

Proceedings of the 30th Design Automation Conference. Dallas, 1993

1992

Delay Prediction for Technology-Independent Logic Equations.

Paul T. Gutwin, Patrick C. McGeer, Robert K. Brayton

Proceedings of the Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1992

1991

Robust Path Delay-Fault Testability on Dynamic CMOS Circuits.

Patrick C. McGeer

Proceedings of the Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1991

Timing Analysis and Delay-Fault Test Generation using Path-Recursive Functions.

Patrick C. McGeer, Alexander Saldanha, Paul R. Stephan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991

Performance Enhancement through the Generalized Bypass Transform.

Patrick C. McGeer, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sartaj Sahni

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991

1990

The observability don't-care set and its approximations.

Patrick C. McGeer, Robert K. Brayton

Proceedings of the 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1990

Timing Analysis in Precharge/Unate Networks.

Patrick C. McGeer, Robert K. Brayton

Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, 1990

1989

Consistency and observability invariance in multi-level logic synthesis.

Patrick C. McGeer, Robert K. Brayton

Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989

Efficient Algorithms for Computing the Longest Viable Path in a Combinational Network.

Patrick C. McGeer, Robert K. Brayton

Proceedings of the 26th ACM/IEEE Design Automation Conference, 1989

Efficient Prime Factorization of Logic Expressions.

Patrick C. McGeer, Robert K. Brayton

Proceedings of the 26th ACM/IEEE Design Automation Conference, 1989

1988

Are applicative languages inefficient?

Carl Ponder, Patrick C. McGeer, Antony P.-C. Ng

ACM SIGPLAN Notices, 1988

1987

Experience with Prolog as a Hardware Specification Language.

William R. Bush, Gino Cheng, Patrick C. McGeer, Alvin M. Despain

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

1984

A discussion and implementation of Brown's REX simplification algorithm.

Patrick C. McGeer

SIGSAM Bull., 1984