|
|
 |
|
 |
Volume 43, Numbers 5/6, 1999
IBM S/390 Server G5/G6 |
|
Table of contents:  HTML PDF ASCII |
|
This article: HTML PDF ASCII |
Copyright info |
|
|
|
|
| |
|
Event monitoring in highly complex hardware systems - References
|
|
by
T. Buechner, R. Fritz, P. Guenther, M. Helms, K. D. Lamb, M. Loew, T. Schlipf, and M. H. Walz |
|
|
|
References
-
T. Schlipf, T. Buechner, R. Fritz, M. Helms, and J. Koehl, “Formal Verification Made Easy,” IBM J. Res. Develop. 41, No. 4/5, 567576 (1997).
-
G. Goldrian and H. Ulland, “Tracing of Large Amounts of Data by Using Main Memory as a Trace Buffer,” IBM Tech. Disclosure Bull. 40, No. 6, 4750 (1997).
-
R. Roches, R. Leveugle, and G. Saucier, “Efficiency Comparison of Signature Monitoring Schemes for FSMs,” Proceedings of the IFIP International Conference on VLSI'95, Chiba, Japan, 1995, pp. 705710.
-
T. A. Gregg, K. M. Pandey, and R. K. Errickson, “The Integrated Cluster Bus for the IBM S/390 Parallel Sysplex,” IBM J. Res. Develop. 43, No. 5/6, 795806 (1999, this issue).
|
|
|
|
