Mathematical Design: Building Reliable Complex Computer Systems (IEEE Press Series on Engineering of Complex Computer Systems) - Hardcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
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.
From the Back Cover
Electrical Engineering/Computer Science Mathematical Design Building Reliable Complex Computer Systems IEEE Press Series on Engineering of Complex Computer Systems Phillip A. Laplante and Alexander D. Stoyen, Series Editors As computer technology advances, the debugging process for complex computer systems has become increasingly difficult. To meet the challenge of program verification, computer engineers are turning to mathematical techniques in hardware design. Brought to you by distinguished scholar J. Paul Roth, Mathematical Design offers key insights into the research and development of the design of computers and computer systems. This book features authoritative coverage of the most important topics in the field:
- Two–level logic minimization
- Verification of a supercomputer, the IBM 3081
- Algorithm for AC (dynamic) testing diagnosis
- Demonstration of hardware and software equivalence
"About this title" may belong to another edition of this title.
Search results for Mathematical Design: Building Reliable Complex Computer...
Stock Image
Mathematical Design: Building Reliable Complex Computer Systems (IEEE Press Series on Engineering of Complex Computer Systems)
Seller: Bay State Book Company, North Smithfield, RI, U.S.A.
Seller rating 5 out of 5 stars
Condition: very_good. Seller Inventory # BSM.1649Y