Jason R. Baumgartner, Ph.D. - Publications
Affiliations: | 2002 | University of Texas at Austin, Austin, Texas, U.S.A. |
Area:
Computer ScienceYear | Citation | Score | |||
---|---|---|---|---|---|
2005 | Gott RM, Baumgartner JR, Roessler P, Joe SI. Functional formal verification on designs of pSeries microprocessors and communication subsystems Ibm Journal of Research and Development. 49: 565-580. DOI: 10.1147/Rd.494.0565 | 0.397 | |||
2005 | Mony H, Baumgartner J, Aziz A. Exploiting constraints in transformation-based verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3725: 269-284. DOI: 10.1007/11560548_21 | 0.382 | |||
2005 | Baumgartner J, Mony H. Maximal input reduction of sequential netlists via synergistic reparameterization and localization strategies Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3725: 222-237. DOI: 10.1007/11560548_18 | 0.348 | |||
2002 | Ludden JM, Roesner W, Heiling GM, Reysa JR, Jackson JR, Chu BL, Behm ML, Baumgartner JR, Peterson RD, Abdulhafiz J, Bucy WE, Klaus JH, Klema DJ, Le TN, Lewis FD, et al. Functional verification of the POWER4 microprocessor and POWER4 multiprocessor systems Ibm Journal of Research and Development. 46: 53-76. DOI: 10.1147/Rd.461.0053 | 0.334 | |||
Show low-probability matches. |