Computer Architecture

A Quantitative Approach

Computer Architecture

The computing world today is in the middle of a revolution: mobile clients and cloud computing have emerged as the dominant paradigms driving programming and hardware innovation today. The Fifth Edition of Computer Architecture focuses on this dramatic shift, exploring the ways in which software and technology in the cloud are accessed by cell phones, tablets, laptops, and other mobile computing devices. Each chapter includes two real-world examples, one mobile and one datacenter, to illustrate this revolutionary change. Updated to cover the mobile computing revolution Emphasizes the two most important topics in architecture today: memory hierarchy and parallelism in all its forms. Develops common themes throughout each chapter: power, performance, cost, dependability, protection, programming models, and emerging trends ("What's Next") Includes three review appendices in the printed text. Additional reference appendices are available online. Includes updated Case Studies and completely new exercises.

Computer Organization and Design

The Hardware/Software Interface

Computer Organization and Design

"Presents the fundamentals of hardware technologies, assembly language, computer arithmetic, pipelining, memory hierarchies and I/O"--

Engineering Embedded Systems

Physics, Programs, Circuits

Engineering Embedded Systems

This is a textbook for graduate and final-year-undergraduate computer-science and electrical-engineering students interested in the hardware and software aspects of embedded and cyberphysical systems design. It is comprehensive and self-contained, covering everything from the basics to case-study implementation. Emphasis is placed on the physical nature of the problem domain and of the devices used. The reader is assumed to be familiar on a theoretical level with mathematical tools like ordinary differential equation and Fourier transforms. In this book these tools will be put to practical use. Engineering Embedded Systems begins by addressing basic material on signals and systems, before introducing to electronics. Treatment of digital electronics accentuating synchronous circuits and including high-speed effects proceeds to micro-controllers, digital signal processors and programmable logic. Peripheral units and decentralized networks are given due weight. The properties of analog circuits and devices like filters and data converters are covered to the extent desirable by a systems architect. The handling of individual elements concludes with power supplies including regulators and converters. The final section of the text is composed of four case studies: • electric-drive control, permanent magnet synchronous motors in particular; • lock-in amplification with measurement circuits for weight and torque, and moisture; • design of a simple continuous wave radar that can be operated to measure speed and distance; and • design of a Fourier transform infrared spectrometer for process applications. End-of-chapter exercises will assist the student to assimilate the tutorial material and these are supplemented by a downloadable solutions manual for instructors. The “pen-and-paper” problems are further augmented with laboratory activities. In addition to its student market, Engineering Embedded Systems will assist industrial practitioners working in systems architecture and the design of electronic measurement systems to keep up to date with developments in embedded systems through self study.

Generating Hardware Assertion Checkers

For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

Generating Hardware Assertion Checkers

Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electronic design. Assertions are statements used to describe properties of the design (I.e., design intent), that can be included to actively check correctness throughout the design cycle and even the lifecycle of the product. With the appearance of two new languages, PSL and SVA, assertions have already started to improve verification quality and productivity. This is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides a unique and consistent perspective on employing assertions in major areas, such as: specification, verification, debugging, on-line monitoring and design quality improvement.

Computer Organization and Design, Enhanced

The Hardware/Software Interface

Computer Organization and Design, Enhanced

Computer Organization and Design, Fifth Edition, moves into the post-PC era with new examples and material highlighting the emergence of mobile computing and the cloud. The book explores this generational change with updated content featuring tablet computers, cloud infrastructure, and the ARM (mobile computing devices) and x86 (cloud computing) architectures. This new edition provides in-depth coverage of parallelism with examples and content highlighting parallel hardware and software topics. It features the Intel Core i7, ARM Cortex-A8 and NVIDIA Fermi GPU as real-world examples throughout the book. It also adds a new concrete example, Going Faster, to demonstrate how understanding hardware can inspire software optimizations that improve performance by 200 times. Other topics covered include: the Eight Great Ideas of computer architecture; performance via parallelism; performance via pipelining; performance via prediction; design for Moore's Law; hierarchy of memories; abstraction to simplify design; and dependability via redundancy. The book includes a full set of updated and improved exercises as well as pop-up definitions for technical terms and concepts. Furthermore, it features interactive learning assessments that provide instant feedback in the form of true/false, multiple choice, and short essay questions. This book will appeal to professionals in computer organization and design as well as students with interest or are taking courses in this subject. Winner of a 2014 Texty Award from the Text and Academic Authors Association Includes new examples, exercises, and material highlighting the emergence of mobile computing and the cloud Covers parallelism in depth with examples and content highlighting parallel hardware and software topics Features the Intel Core i7, ARM Cortex-A8 and NVIDIA Fermi GPU as real-world examples throughout the book Adds a new concrete example, "Going Faster," to demonstrate how understanding hardware can inspire software optimizations that improve performance by 200 times Discusses and highlights the "Eight Great Ideas" of computer architecture: Performance via Parallelism; Performance via Pipelining; Performance via Prediction; Design for Moore's Law; Hierarchy of Memories; Abstraction to Simplify Design; Make the Common Case Fast; and Dependability via Redundancy Includes a full set of updated and improved exercises Features interactive learning assessments that provide instant feedback in the form of true/false, multiple choice, and short essay questions. Includes pop-up definitions for technical terms and concepts.

Architectures for Computer Vision

From Algorithm to Chip with Verilog

Architectures for Computer Vision

This book provides comprehensive coverage of 3D vision systems, from vision models and state-of-the-art algorithms to their hardware architectures for implementation on DSPs, FPGA and ASIC chips, and GPUs. It aims to fill the gaps between computer vision algorithms and real-time digital circuit implementations, especially with Verilog HDL design. The organization of this book is vision and hardware module directed, based on Verilog vision modules, 3D vision modules, parallel vision architectures, and Verilog designs for the stereo matching system with various parallel architectures. Provides Verilog vision simulators, tailored to the design and testing of general vision chips Bridges the differences between C/C++ and HDL to encompass both software realization and chip implementation; includes numerous examples that realize vision algorithms and general vision processing in HDL Unique in providing an organized and complete overview of how a real-time 3D vision system-on-chip can be designed Focuses on the digital VLSI aspects and implementation of digital signal processing tasks on hardware platforms such as ASICs and FPGAs for 3D vision systems, which have not been comprehensively covered in one single book Provides a timely view of the pervasive use of vision systems and the challenges of fusing information from different vision modules Accompanying website includes software and HDL code packages to enhance further learning and develop advanced systems A solution set and lecture slides are provided on the book's companion website The book is aimed at graduate students and researchers in computer vision and embedded systems, as well as chip and FPGA designers. Senior undergraduate students specializing in VLSI design or computer vision will also find the book to be helpful in understanding advanced applications.

Programming Language Pragmatics

Programming Language Pragmatics

Programming Language Pragmatics, Fourth Edition, is the most comprehensive programming language textbook available today. It is distinguished and acclaimed for its integrated treatment of language design and implementation, with an emphasis on the fundamental tradeoffs that continue to drive software development. The book provides readers with a solid foundation in the syntax, semantics, and pragmatics of the full range of programming languages, from traditional languages like C to the latest in functional, scripting, and object-oriented programming. This fourth edition has been heavily revised throughout, with expanded coverage of type systems and functional programming, a unified treatment of polymorphism, highlights of the newest language standards, and examples featuring the ARM and x86 64-bit architectures. Updated coverage of the latest developments in programming language design, including C & C++11, Java 8, C# 5, Scala, Go, Swift, Python 3, and HTML 5 Updated treatment of functional programming, with extensive coverage of OCaml New chapters devoted to type systems and composite types Unified and updated treatment of polymorphism in all its forms New examples featuring the ARM and x86 64-bit architectures

Digest of Papers - Compcon

IEEE Computer Society International Conference

Digest of Papers - Compcon


Books in Print Supplement, 2002-2003

A Midyear Publication Covering All New and Updated Titles Since the Production of Books in Print 2002-2003

Books in Print Supplement, 2002-2003