Adrian E. Seigler
List of publications from the
| 2007 |
|---|
| 5 | EE | Adrian E. Seigler,
Gary A. Van Huben,
Hari Mony:
Formal Verification of Partial Good Self-Test Fencing Structures.
FMCAD 2007: 188-191 |
| 2006 |
|---|
| 4 | EE | Tilman Glökler,
Jason Baumgartner,
Devi Shanmugam,
A. E. (Rick) Seigler,
Gary A. Van Huben,
Barinjato Ramanandray,
Hari Mony,
Paul Roessler:
Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning.
FMCAD 2006: 3-10 |
| 2004 |
|---|
| 3 | EE | Pak-kin Mak,
Gary E. Strait,
Michael A. Blake,
Kevin W. Kark,
Vesselina K. Papazova,
A. E. (Rick) Seigler,
Gary A. Van Huben,
Liyong Wang,
George C. Wellwood:
Processor subsystem interconnect architecture for a large symmetric multiprocessing system.
IBM Journal of Research and Development 48(3-4): 323-338 (2004) |
| 1999 |
|---|
| 2 | EE | Paul R. Turgeon,
Pak-kin Mak,
Michael A. Blake,
Michael F. Fee,
Carl B. Ford III,
Patrick J. Meaney,
A. E. (Rick) Seigler,
William Wu Shen:
The S/390 G5/G6 binodal cache.
IBM Journal of Research and Development 43(5): 661-670 (1999) |
| 1997 |
|---|
| 1 | EE | Kenneth L. Shepard,
Sean M. Carey,
Ee Kin Cho,
Brian W. Curran,
Robert F. Hatch,
Dale E. Hoffman,
Scott A. McCabe,
Gregory A. Northrop,
A. E. (Rick) Seigler:
Design methodology for the S/390 Parallel Enterprise Server G4 microprocessors.
IBM Journal of Research and Development 41(4&5): 515-548 (1997) |
