Adrian E. Seigler
List of publications from the DBLP Bibliography Server - FAQ
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) |
1 | Jason Baumgartner | [4] |
2 | Michael A. Blake | [2] [3] |
3 | Sean M. Carey | [1] |
4 | Ee Kin Cho | [1] |
5 | Brian W. Curran | [1] |
6 | Michael F. Fee | [2] |
7 | Carl B. Ford III | [2] |
8 | Tilman Glökler | [4] |
9 | Robert F. Hatch | [1] |
10 | Dale E. Hoffman | [1] |
11 | Gary A. Van Huben | [3] [4] [5] |
12 | Kevin W. Kark | [3] |
13 | Pak-kin Mak | [2] [3] |
14 | Scott A. McCabe | [1] |
15 | Patrick J. Meaney | [2] |
16 | Hari Mony | [4] [5] |
17 | Gregory A. Northrop | [1] |
18 | Vesselina K. Papazova | [3] |
19 | Barinjato Ramanandray | [4] |
20 | Paul Roessler | [4] |
21 | Devi Shanmugam | [4] |
22 | William Wu Shen | [2] |
23 | Kenneth L. Shepard | [1] |
24 | Gary E. Strait | [3] |
25 | Paul R. Turgeon | [2] |
26 | Liyong Wang | [3] |
27 | George C. Wellwood | [3] |