BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
7 × USA
Collaborated with:
R.K.Brayton A.L.Sangiovanni-Vincentelli A.Saldanha Y.Matsunaga L.Lavagno J.V.Sanghavi W.R.Bush G.Cheng A.M.Despain H.Harkness
Talks about:
effici (3) transit (2) network (2) comput (2) logic (2) exact (2) time (2) algorithm (1) synthesi (1) signatur (1)

Person: Patrick C. McGeer

DBLP DBLP: McGeer:Patrick_C=

Contributed to:

DAC 19961996
DAC 19951995
DAC 19941994
DAC 19931993
DAC 19901990
DAC 19891989
SLP 19871987

Wrote 9 papers:

DAC-1996-Sangiovanni-VincentelliMS #verification
Verification of Electronic Systems (ALSV, PCM, AS), pp. 106–111.
DAC-1995-LavagnoMSS #design #power management #synthesis
Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool (LL, PCM, AS, ALSV), pp. 254–260.
DAC-1994-SaldanhaHMBS #optimisation #performance #using
Performance Optimization Using Exact Sensitization (AS, HH, PCM, RKB, ALSV), pp. 425–429.
DAC-1993-MatsunagaMB #on the #transitive
On Computing the Transitive Closure of a State Transition Relation (YM, PCM, RKB), pp. 260–265.
DAC-1993-McGeerSBS #logic #named
Espresso-Signature: A New Exact Minimizer for Logic Functions (PCM, JVS, RKB, ALSV), pp. 618–624.
DAC-1990-McGeerB #analysis #network
Timing Analysis in Precharge/Unate Networks (PCM, RKB), pp. 124–129.
DAC-1989-McGeerB #logic #performance
Efficient Prime Factorization of Logic Expressions (PCM, RKB), pp. 221–225.
DAC-1989-McGeerB89a #algorithm #network #performance
Efficient Algorithms for Computing the Longest Viable Path in a Combinational Network (PCM, RKB), pp. 561–567.
SLP-1987-BushCMD87 #experience #hardware #prolog #specification
Experience with Prolog as a Hardware Specification Language (WRB, GC, PCM, AMD), pp. 490–498.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.