A. E. (Rick) Seigler

According to our database, A. E. (Rick) Seigler authored at least 5 papers between 1997 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2007

Formal Verification of Partial Good Self-Test Fencing Structures.

Adrian E. Seigler, Gary A. Van Huben, Hari Mony

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006

Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning.

Tilman Glökler, Jason Baumgartner, Devi Shanmugam, A. E. (Rick) Seigler, Gary A. Van Huben, Barinjato Ramanandray, Hari Mony, Paul Roessler

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2004

Processor subsystem interconnect architecture for a large symmetric multiprocessing system.

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

IBM J. Res. Dev., 2004

1999

The S/390 G5/G6 binodal cache.

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

IBM J. Res. Dev., 1999

1997

Design methodology for the S/390 Parallel Enterprise Server G4 microprocessors.

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

IBM J. Res. Dev., 1997