Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Using a Hardware Simulation Engine for Custom MOS Structured Designs., , , und . IBM Journal of Research and Development, 28 (5): 564-571 (1984)The EVE companion simulator., , , und . EURO-DAC, Seite 290-295. IEEE Computer Society, (1990)Formal verification - prove it or pitch it., , , , , , , , und . DAC, Seite 710-711. ACM, (2003)SLS-a fast switch-level simulator for MOS., , , , und . IEEE Trans. on CAD of Integrated Circuits and Systems, 7 (8): 838-849 (1988)Verification strategy for the Blue Gene/L chip., , , , , , , , , und 11 andere Autor(en). IBM Journal of Research and Development, 49 (2-3): 303-318 (2005)Blue Gene: A vision for protein science using a petaflop supercomputer., , , , , , , , , und 42 andere Autor(en). IBM Systems Journal, 40 (2): 310-327 (2001)Transistor sizing of custom high-performance digital circuits with parametric yield considerations., , , , und . DAC, Seite 781-786. ACM, (2010)The IBM Engineering Verification Engine., , , und . DAC, Seite 218-224. (1988)Design Methodology for the High-Performance G4 S/390., , , , und . ICCD, Seite 232-240. IEEE Computer Society, (1997)First-Order Incremental Block-Based Statistical Timing Analysis., , , , , , , , und . IEEE Trans. on CAD of Integrated Circuits and Systems, 25 (10): 2170-2180 (2006)