[Schmid et al., 1982] Schmid, M.; R. Trapp; A. Davidoff; and G. Masson. "Upset Exposure by Means of Abstract Verification." In Digest of 12th International Symposium on Fault-Tolerant Computing, IEEE Computer Society, Santa Monica, CA, ...
In Proceedings of the 9th Design Automation Conference, 1972. [126] D. E. Thomas, C. Y. Hitchcock III, T. J. Kowalski, J. V. Rajan, and R. A. Walker. Automatic data path synthesis. IEEE Computer, 16(12), December 1983.
In particular, we would like to thank Gordon Bell, Glen Miranker, Jon Rubenstein, John Sanguinetti, Agha Ahsan, Bill Worley, Cleve Moler, Jose Aguirre, Peter Pappanastos, and David Dobras. Paul Ausick at Stardent, Kim Faught at Carnegie ...
Enhance your hardware/software reliability Enhancement of system reliability has been a major concern of computer users and designers ¦ and this major revision of the 1982 classic meets users' continuing...
This book is devoted to the fundamental concepts and theory of reliable computer systems and represents detailed case studies.
This classic reference work is a comprehensive guide to the design, evaluation, and use of reliable computer systems.
Hardware -- Logic Design.
Since the first version of this survey of information on the development of the computer was published in 1971, a great deal has changed and much progress has been made....