Patrick C. McGeer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
6
Active years
1989–2015
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CloudCom | 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 Rder, Yvonne Coady, Ulrike Stege |
| 1997 | ICCAD | Trace driven logic synthesis - application to power minimization. | Luca P. Carloni, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli |
| 1996 | DAC | Verification of Electronic Systems. | Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, Alexander Saldanha |
| 1995 | DAC | Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool. | Luciano Lavagno, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli |
| 1995 | ICCAD | Fast discrete function evaluation using decision diagrams. | Patrick C. McGeer, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli, Patrick Scaglia |
| 1994 | DAC | 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 |
| 1994 | DAC | Performance Optimization Using Exact Sensitization. | Alexander Saldanha, Heather Harkness, Patrick C. McGeer, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1994 | ISCAS | Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams. | Masahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. Clarke, Xudong Zhao, Patrick C. McGeer |
| 1993 | DAC | On Computing the Transitive Closure of a State Transition Relation. | Yusuke Matsunaga, Patrick C. McGeer, Robert K. Brayton |
| 1993 | DAC | Espresso-Signature: A New Exact Minimizer for Logic Functions. | Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1993 | VLSID | Minimization of Logic Functions Using Essential Signature Sets. | Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1992 | ICCD | Delay Prediction for Technology-Independent Logic Equations. | Paul T. Gutwin, Patrick C. McGeer, Robert K. Brayton |
| 1991 | ICCAD | Performance Enhancement through the Generalized Bypass Transform. | Patrick C. McGeer, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sartaj Sahni |
| 1991 | ICCAD | 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 |
| 1991 | ICCD | Robust Path Delay-Fault Testability on Dynamic CMOS Circuits. | Patrick C. McGeer |
| 1990 | DAC | Timing Analysis in Precharge/Unate Networks. | Patrick C. McGeer, Robert K. Brayton |
| 1990 | ICCD | The observability don't-care set and its approximations. | Patrick C. McGeer, Robert K. Brayton |
| 1989 | DAC | Efficient Prime Factorization of Logic Expressions. | Patrick C. McGeer, Robert K. Brayton |
| 1989 | DAC | Efficient Algorithms for Computing the Longest Viable Path in a Combinational Network. | Patrick C. McGeer, Robert K. Brayton |
| 1989 | ICCAD | Consistency and observability invariance in multi-level logic synthesis. | Patrick C. McGeer, Robert K. Brayton |