Cover image for Mathematical design : building reliable complex computer systems
Title:
Mathematical design : building reliable complex computer systems
Author:
Roth, J. Paul (John Paul), 1922-
Publication Information:
New York : IEEE Press, [1999]

©1999
Physical Description:
xxiv, 115 pages : illustrations ; 26 cm.
Language:
English
ISBN:
9780780334304
Format :
Book

Available:*

Library
Call Number
Material Type
Home Location
Status
Central Library TK7888.3 .R68 1999 Adult Non-Fiction Central Closed Stacks
Searching...

On Order

Summary

Summary

MATHEMATICAL MODELING presents methods for design, analysis, diagnosis and automatic repair of computers. This original book features various level exercises to present mathematics as an activity, not merely a subject. Computer engineers, computer science high level undergraduates, and graduate students will find this practical guide packed with information needed to understand complex computer systems.


Author Notes

About the Author J. Paul Roth was Laboratory Manager of Logic Automation at IBM, Poughkeepsie, New York. Previously, he was Pierce Instructor of Mathematics at the University of California at Berkeley. Earlier in his career, Dr. Roth was a member of the computer project (von Neumann) at the Institute for Advanced Study, Princeton, New Jersey. Dr. Roth has also been a visiting professor at Princeton, New York University, City University of New York, and Columbia University. He is the originator of the D algorithm, which is widely used for testing.


Table of Contents

Series Introduction
Preface
Acknowledgments
List of Figures
Cubical Complexes and Two-Level Logic
Logic on Many Levels
Regular Design, Global Design
IBM 3081 Verification
Diagnosis of Dynamic AC Failures
Hardware Verification of Programs
Hardware Correction
Automatically Repairing Computers
Algorithm Design
Equivalence of Hardware and Software
Index
About the Author

Google Preview