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.
Sprache
Verlagsort
Verlagsgruppe
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Illustrationen
Maße
Höhe: 257 mm
Breite: 184 mm
Gewicht
ISBN-13
978-0-7803-3430-4 (9780780334304)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
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.
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.
