dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Michael L. Behm Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2005
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDave W. Victor, John M. Ludden, Richard D. Peterson, Bradley S. Nelson, W. Keith Sharp, James K. Hsu, Bing-Lun Chu, Michael L. Behm, Rebecca M. Gott, Audre D. Romonosky, Steven R. Farago: Functional verification of the POWER5 microprocessor and POWER5 multiprocessor systems. IBM Journal of Research and Development 49(4-5): 541-554 (2005)
2004
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael L. Behm, John M. Ludden, Yossi Lichtenstein, Michal Rimon, Michael Vinov: Industrial experience with test generation languages for processor verification. DAC 2004: 36-40
2002
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn M. Ludden, Wolfgang Roesner, Gerry M. Heiling, John R. Reysa, Jonathan R. Jackson, Bing-Lun Chu, Michael L. Behm, Jason Baumgartner, Richard D. Peterson, Jamee Abdulhafiz, William E. Bucy, John H. Klaus, Danny J. Klema, Tien N. Le, F. Danette Lewis, Philip E. Milling, Lawrence A. McConville, Bradley S. Nelson, Viresh Paruthi, Travis W. Pouarz, Audre D. Romonosky, Jeff Stuecheli, Kent D. Thompson, Dave W. Victor, Bruce Wile: Functional verification of the POWER4 microprocessor and POWER4 multiprocessor system. IBM Journal of Research and Development 46(1): 53-76 (2002)

Coauthor Index

1Jamee Abdulhafiz [1]
2Jason Baumgartner [1]
3William E. Bucy [1]
4Bing-Lun Chu [1] [3]
5Steven R. Farago [3]
6Rebecca M. Gott [3]
7Gerry M. Heiling [1]
8James K. Hsu [3]
9Jonathan R. Jackson [1]
10John H. Klaus [1]
11Danny J. Klema [1]
12Tien N. Le [1]
13F. Danette Lewis [1]
14Yossi Lichtenstein [2]
15John M. Ludden [1] [2] [3]
16Lawrence A. McConville [1]
17Philip E. Milling [1]
18Bradley S. Nelson [1] [3]
19Viresh Paruthi [1]
20Richard D. Peterson [1] [3]
21Travis W. Pouarz [1]
22John R. Reysa [1]
23Michal Rimon [2]
24Wolfgang Roesner [1]
25Audre D. Romonosky [1] [3]
26W. Keith Sharp [3]
27Jeffrey Stuecheli (Jeff Stuecheli) [1]
28Kent D. Thompson [1]
29Dave W. Victor [1] [3]
30Michael Vinov [2]
31Bruce Wile [1]

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page