Computer architecture & logic design books

Digital Timing Macromodeling for VLSI Design Verification first of all provides an extensive history of the development...  Read More >>

Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package...  Read More >>

Logic provides a set of tools and techniques to address the questions of how to represent, query and reason about...  Read More >>

During a meeting in Toronto last winter, Mike Jenkins, Bob Bernecky and I were discussing how the two existing theories...  Read More >>

By virtue of the close relationship between logic and relational databses, it turns out that this subject has important...  Read More >>

Matrix Computations on Systolic-Type Arrays provides a framework which permits a good understanding of the features...  Read More >>

 Read More >>

In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned...  Read More >>

The UNIX and real-time UNIX operating system technologies are major examples of emerging technologies with great...  Read More >>

The two primary functions of data compression are: Storage: The capacity of a storage device can be effectively...  Read More >>

To a large extent, this problem can be overcome with care­ ful clock distribution in synchronous design, and tools...  Read More >>

This monograph covers a method of parallel computing which uses VLSI technology in an efficient manner: data are...  Read More >>

The development and use of accurate reliability simulation tools are therefore crucial for early assessment and...  Read More >>

The book is intended for asynchronous hardware designers, for computer-aided tool experts, and for digital designers...  Read More >>

Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification,...  Read More >>

2 Code Segments . . . . . . . . . . . . . . . 3 Determining Communication Parameters . 5 Partitioning . . . . ....  Read More >>

As MOS devices are scaled to meet increasingly demanding circuit specifications, process variations have a greater...  Read More >>

Presents an analysis of regular and irregular computations for multiprocessor systems. This book includes techniques...  Read More >>

 Read More >>

Computer Systems and Software Engineering is a compilation of sixteen state-of-the-art lectures and keynote speeches...  Read More >>

Multiple processor systems are an important class of parallel systems. These systems are called uniform memory access...  Read More >>

The book also investigates, in the form of a comparative study, the impact of TSV size and granularity, spacing...  Read More >>

Logic circuits are becoming increasingly susceptible to probabilistic behavior caused by external radiation and...  Read More >>

Structured Computer Organization, specifically written for undergraduate students, is a best-selling guide that...  Read More >>

Readers will learn to avoid time-consuming and error-prone validation from the comprehensive coverage of system-level...  Read More >>