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

John M. Ludden 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 keys2010
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn M. Ludden, Michal Rimon, Bryan G. Hickerson, Allon Adir: Advances in Simultaneous Multithreading Testcase Generation Methods. Haifa Verification Conference 2010: 146-160
2005
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]
2Allon Adir [4]
3Jason Baumgartner [1]
4Michael L. Behm [1] [2] [3]
5William E. Bucy [1]
6Bing-Lun Chu [1] [3]
7Steven R. Farago [3]
8Rebecca M. Gott [3]
9Gerry M. Heiling [1]
10Bryan G. Hickerson [4]
11James K. Hsu [3]
12Jonathan R. Jackson [1]
13John H. Klaus [1]
14Danny J. Klema [1]
15Tien N. Le [1]
16F. Danette Lewis [1]
17Yossi Lichtenstein [2]
18Lawrence A. McConville [1]
19Philip E. Milling [1]
20Bradley S. Nelson [1] [3]
21Viresh Paruthi [1]
22Richard D. Peterson [1] [3]
23Travis W. Pouarz [1]
24John R. Reysa [1]
25Michal Rimon [2] [4]
26Wolfgang Roesner [1]
27Audre D. Romonosky [1] [3]
28W. Keith Sharp [3]
29Jeffrey Stuecheli (Jeff Stuecheli) [1]
30Kent D. Thompson [1]
31Dave W. Victor [1] [3]
32Michael Vinov [2]
33Bruce Wile [1]

Last update Mon Jun 4 20:40:43 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