Mathematical Design: Building Reliable Complex Computer Systems - Rilegato

Roth, J. Paul

Rilegato

ISBN 10: 0780334302 ISBN 13: 9780780334304

Casa editrice: IEEE, 1998

Riassunto

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.

Su questo libro

Informazioni sull'autore

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.

Dalla quarta di copertina

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

Complete with thought-provoking exercises and engaging commentary, Mathematical Design is an excellent reference for practicing hardware designers, as well as other engineers with an interest in computer science and mathematics.

Dettagli dell'edizione

• Editore: IEEE
• Data di pubblicazione: 1998
• Lingua: Inglese
• ISBN 10: 0780334302
• ISBN 13: 9780780334304
• Rilegatura: Copertina rigida
• Numero di pagine: 115
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile