Multi-Microprocessor Systems for Real-Time Applications
Multi-Microprocessor Systems for Real-Time Applications

Author: Gianni Conte

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 310

ISBN-13: 9400954085

DOWNLOAD EBOOK

The continous development of computer technology supported by the VLSI revolution stimulated the research in the field ·of multiprocessors systems. The main motivation for the migration of design efforts from conventional architectures towards multiprocessor ones is the possibi I ity to obtain a significant processing power together with the improvement of price/performance, reliability and flexibility figures. Currently, such systems are moving from research laboratories to real field appl ications. Future technological advances and new generations of components are I ikely to further enhance this trend. This book is intended to provide basic concepts and design methodologies for engineers and researchers involved in the development of mul tiprocessor systems and/or of appl ications based on multiprocessor architectures. In addition the book can be a source of material for computer architecture courses at graduate level. A preliminary knowledge of computer architecture and logical design has been assumed in wri ting this book. Not all the problems related with the development of multiprocessor systems are addressed in th i s book. The covered range spans from the electrical and logical design problems, to architectural issues, to design methodologis for system software. Subj ects such as software development in a multiprocessor environment or loosely coupled multiprocessor systems are out of the scope of the book. Since the basic elements, processors and memories, are now available as standard integrated circuits, the key design problem is how to put them together in an efficient and reliable way.

Surviving the Design of Microprocessor and Multimicroprocessor Systems
Surviving the Design of Microprocessor and Multimicroprocessor Systems

Author: Veljko Milutinović

Publisher: Wiley-Interscience

Published: 2000-08-03

Total Pages: 330

ISBN-13:

DOWNLOAD EBOOK

"This book … uniquely synthesizes Professor Milutinovi???’s thinking on the important issues in computer architecture … The result is a necessarily somewhat eclectic, personal statement by one of the leaders of the field." —Michael J. Flynn, Stanford University From the Foreword "How do we invest one billion transistors on a single chip?" asks Veljko Milutinovi??? as he ponders the ultimate goal of an entire distributed shared memory (DSM)—plus numerous specialized accelerators—on a single chip. He then goes on to present a lively personal account, complete with survival tips, of his experiences in the front line of the rapidly evolving arena of microprocessor and multimicroprocessor system design. Focusing on areas critical to the future of system-on-a-chip design, Milutinovi??? combines his unique perspective with authoritative discussions of cache, instruction level parallelism, prediction strategies, the I/O bottleneck, multithreading, and multiprocessors. He reinforces concepts using three case studies of his own computer system/accelerator implementations with additional details available through Web-based appendices. A key DSM concept, Reflective Memory System (RMS), and tools for evaluating new architectural ideas or characterizing applications are also covered in appendices. Designed for fast, easy comprehension, Surviving the Design of Microprocessor and Multimicroprocessor Systems integrates clear, up-to-date explanations with a wealth of figures and a thorough review of the technical literature. It brings readers up to speed with concepts essential for implementing their own ideas, while addressing the most important issues facing scientists and engineers in advanced computer design.

Scientific and Technical Aerospace Reports
Scientific and Technical Aerospace Reports

Author:

Publisher:

Published: 1989

Total Pages: 896

ISBN-13:

DOWNLOAD EBOOK

Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.

Embedded Microprocessor Systems
Embedded Microprocessor Systems

Author: Christian Müller-Schloer

Publisher: IOS Press

Published: 1996

Total Pages: 528

ISBN-13: 9789051993004

DOWNLOAD EBOOK

Embedded microprocessor systems are affecting our daily lives at a fast pace, mostly unrecognised by the general public. Most of us are aware of the part they are playing in increasing business efficiency through office applications such as personal computers, printers and copiers. Only a few people, however, fully appreciate the growing role of embedded systems in telecommunications and industrial environments, or even in everyday products like cars and home appliances. The challenge to engineers and managers is not only highlighted by the sheer size of the market, ' 1.5 billion microcontrollers and microprocessors are produced every year ' but also by the accelerating innovation in embedded systems towards higher complexity in hardware, software and tools as well as towards higher performance and lower consumption. To maintain competitiveness in this demanding environment, an optimum mix of innovation, time to market and system cost is required. Choosing the right options and strategies for products and companies is crucial and rarely obvious. In this book the editors have, therefore, skilfully brought together more than fifty contributions from some of the leading authorities in embedded systems. The papers are conveniently grouped in four sections.

Parallel Processes and Related Automata / Parallele Prozesse und damit zusammenhängende Automaten
Parallel Processes and Related Automata / Parallele Prozesse und damit zusammenhängende Automaten

Author: W. Knödel

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 206

ISBN-13: 3709185963

DOWNLOAD EBOOK

The third supplement volume of "Computing" deals with parallel processes and thus with a highly topical area of informatics. As both the first supplement volumes were concerned with numerical questions, the entire subject, the cultivation of which "Computing" purports, is now broadly outlined in the supplement volumes too. The reason for the simultaneous production of so many papers on the same subject was the 60th birthday of Prof. Dr. Wolfgang Handler, an eminent specialist in the field of parallel processing. It was the wish of his friends, colleagues and collaborators that Herr Handler be honoured by the gift of a volume which would have as its centre of interest the area of research that he represents. In this volume, parallelism is focused upon from various angles and an attempt has been made, through new results, to bring it a little further. It is obvious from a glance at the bibliographies of the papers contributed, in which many of Herr Handler's publications are referenced, that he was never far from the writer's minds.

Multi-voltage CMOS Circuit Design
Multi-voltage CMOS Circuit Design

Author: Volkan Kursun

Publisher: John Wiley & Sons

Published: 2006-08-30

Total Pages: 242

ISBN-13: 047001024X

DOWNLOAD EBOOK

This book presents an in-depth treatment of various power reduction and speed enhancement techniques based on multiple supply and threshold voltages. A detailed discussion of the sources of power consumption in CMOS circuits will be provided whilst focusing primarily on identifying the mechanisms by which sub-threshold and gate oxide leakage currents are generated. The authors present a comprehensive review of state-of-the-art dynamic, static supply and threshold voltage scaling techniques and discuss the pros and cons of supply and threshold voltage scaling techniques.

Design and Verification of Microprocessor Systems for High-Assurance Applications
Design and Verification of Microprocessor Systems for High-Assurance Applications

Author: David S. Hardin

Publisher: Springer Science & Business Media

Published: 2010-03-02

Total Pages: 441

ISBN-13: 1441915397

DOWNLOAD EBOOK

Microprocessors increasingly control and monitor our most critical systems, including automobiles, airliners, medical systems, transportation grids, and defense systems. The relentless march of semiconductor process technology has given engineers exponentially increasing transistor budgets at constant recurring cost. This has encouraged increased functional integration onto a single die, as well as increased architectural sophistication of the functional units themselves. Additionally, design cycle times are decreasing, thus putting increased schedule pressure on engineers. Not surprisingly, this environment has led to a number of uncaught design flaws. Traditional simulation-based design verification has not kept up with the scale or pace of modern microprocessor system design. Formal verification methods offer the promise of improved bug-finding capability, as well as the ability to establish functional correctness of a detailed design relative to a high-level specification. However, widespread use of formal methods has had to await breakthroughs in automated reasoning, integration with engineering design languages and processes, scalability, and usability. This book presents several breakthrough design and verification techniques that allow these powerful formal methods to be employed in the real world of high-assurance microprocessor system design.