Old Web
English
Sign In
Acemap
>
authorDetail
>
Adrian E. Seigler
Adrian E. Seigler
IBM
Real-time computing
Computer science
Parallel computing
Functional verification
Intelligent verification
4
Papers
23
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Functional verification of the IBM system z10 processor chipset
2009
Ibm Journal of Research and Development
Christopher A. Krygowski
Dean G. Bair
Rebecca M. Gott
Mark H. Decker
Akash V. Giri
Christian Habermann
Matthias D. Heizmann
Stefan Letz
William J. Lewis
Steven M. Licker
H. Mallar
Edward C. McCain
Wolfgang Roesner
Naseer S. Siddique
Adrian E. Seigler
Brian W. Thompto
Kai Weber
Ralf Winkelmann
Show All
Source
Cite
Save
Citations (11)
Formal Verification of Partial Good Self-Test Fencing Structures
2007
| Formal Method in Computer-Aided Design
Adrian E. Seigler
Gary A. Van Huben
Hari Mony
Show All
Source
Cite
Save
Citations (0)
Processor subsystem interconnect architecture for a large symmetric multiprocessing system
2004
Ibm Journal of Research and Development
Pak-Kin Mak
Gary E. Strait
Michael A. Blake
Kevin W. Kark
Vesselina K. Papazova
Adrian E. Seigler
G. A. Van Huben
Liyong Wang
George C. Wellwood
Show All
Source
Cite
Save
Citations (8)
1