A. E. (Rick) Seigler

Adrian E. Seigler

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2007
c2		Adrian E. Seigler, Gary A. Van Huben, Hari Mony: Formal Verification of Partial Good Self-Test Fencing Structures. FMCAD 2007: 188-191
	2006
c1		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
j3		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
j2		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
j1		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)

Coauthor Index

Last update Sat May 25 16:11:52 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page