Category Archives: Design & Architecture

Programming Massively Parallel Processors: A Hands-on Approach

Multi-core processors are no longer the future of computing-they are the present day reality. A typical mass-produced CPU features multiple processor cores, while a GPU (Graphics Processing Unit) may have hundreds or even thousands of cores. With the rise of … Continue reading

Posted in Computer Science, Design & Architecture, Format, Microprocessors & System Design, pdf | Leave a comment

Computer Architecture: Complexity and Correctness

Hardware correctness is becoming ever more important in the design of computer systems. The authors introduce a powerful new approach to the design and analysis of modern computer architectures, based on mathematically well-founded formal methods which allows for rigorous correctness … Continue reading

Posted in Design & Architecture, Format, PCs, pdf | Leave a comment

Adapting Proofs-as-Programs: The Curry–Howard Protocol (Monographs in Computer Science)

This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the books … Continue reading

Posted in Design & Architecture, Format, Software Development, pdf | Leave a comment

Robust Computing with Nano-scale Devices: Progresses and Challenges (Lecture Notes in Electrical Engineering)

Robust Nano-Computing focuses on various issues of robust nano-computing, defect-tolerance design for nano-technology at different design abstraction levels. It addresses both redundancy- and configuration-based methods as well as fault detecting techniques through the development of accurate computation models and tools. … Continue reading

Posted in Computer Science, Design & Architecture, Format, Science & Research, pdf | Leave a comment

Fault-Tolerance Techniques for SRAM-Based FPGAs (Frontiers in Electronic Testing)

This book reviews fault-tolerance techniques for SRAM-based Field Programmable Gate Arrays (FPGAs), outlining many methods for designing fault tolerance systems. Some of these are based on new fault-tolerant architecture, and others on protecting the high-level hardware description before synthesis in … Continue reading

Posted in Computer Science, Design & Architecture, Format, Optics, Systems Analysis & Design, zip | Leave a comment

SOA with .NET (The Prentice Hall Service-Oriented Computing Series from Thomas Erl)

“Explaining the intersection of these two worlds–service-orientation and .NET technologies–is exactly what this book does. Its team of specialist authors provides a concrete, usable guide to this combination, ranging from the fundamentals of service-orientation to the more rarified air of … Continue reading

Posted in Design & Architecture, Format, Microprocessors & System Design, Networking, Software Design & Engineering, Software Development, Software Engineering, Study Guides, djvu | Leave a comment

Enterprise Mac Managed Preferences

Many systems administrators on the Mac need a way to manage machine configuration after initial setup and deployment. Apple’s Managed Preferences system (also known as MCX) is under-documented, often misunderstood, and sometimes outright unknown by sys admins. MCX is usually … Continue reading

Posted in Design & Architecture, Format, Software Design & Engineering, Software Development, djvu, pdf | Leave a comment

Dynamically Reconfigurable Systems: Architectures, Design Methods and Applications

Dynamically Reconfigurable Systems is the first ever to focus on the emerging field of Dynamically Reconfigurable Computing Systems. While programmable logic and design-time configurability are well elaborated and covered by various texts, this book presents a unique overview over the … Continue reading

Posted in Design & Architecture, Format, Languages & Tools, Programming Languages, pdf | Leave a comment

Parallel Programming: for Multicore and Cluster Systems

Innovations in hardware architecture, like hyper-threading or multicore processors, mean that parallel computing resources are available for inexpensive desktop computers. In only a few years, many standard software products will be based on concepts of parallel programming implemented on such … Continue reading

Posted in Design & Architecture, Electrical & Electronic Engineering, Format, Languages & Tools, Networking, Programming Languages, Systems Analysis & Design, pdf | Leave a comment

Implementing SOA Using Java EE

The Practitioner’s Guide to Implementing SOA with Java EE Technologies This book brings together all the practical insight you need to successfully architect enterprise solutions and implement them using SOA and Java EE technologies. Writing for senior IT developers, strategists, … Continue reading

Posted in Design & Architecture, Format, Programming Languages, pdf | Leave a comment