Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
This book describes the specification and proof of a compiler for a realistically complicated assembly-level language. The book defines the state of the art in machine check proofs of software. Piton is a simple assembly-level programming language for a microprocessor called the FM9001 described at the machine code level. The correctness of...
The Unabridged Pentium 4: IA32 Processor Genealogy
The Unabridged Pentium 4: IA32 Processor Genealogy

The Unabridged Pentium 4 offers unparalleled coverage of Intel's IA32 family of processors, from the 386 through the Pentium 4 and Pentium M processors. Unlike other texts, which address solely a hardware or software audience, this book serves as a comprehensive technical reference for both audiences. Inside, the Mindshare trainers cover...

Design of Industrial Information Systems
Design of Industrial Information Systems
Long term growth in productivity is critically important to improving the standard of living of our society. Over the past ten years (1996–2005), average annual productivity growth in the non-farm business sector has been twice as high as it was in the prior fi fteen years (1981–1995). In the manufacturing sector, it has been even more...
FPGA-based Implementation of Signal Processing Systems
FPGA-based Implementation of Signal Processing Systems

Field programmable gate arrays (FPGAs) are an increasingly popular technology for implementing digital signal processing (DSP) systems. By allowing designers to create circuit architectures developed for the specific applications, high levels of performance can be achieved for many DSP applications providing considerable improvements over...

MicroC OS II: The Real Time Kernel (With CD-ROM)
MicroC OS II: The Real Time Kernel (With CD-ROM)
MicroC/OS II Second Edition describes the design and implementation of the MicroC/OS-II real-time operating system (RTOS). In addition to its value as a reference to the kernel, it is an extremely detailed and highly readable design study particularly useful to the embedded systems student. While documenting the design and implementation of the...
Introduction to Microcontrollers: Architecture, Programming, and Interfacing of the Motorola 68Hc12 (Engineering)
Introduction to Microcontrollers: Architecture, Programming, and Interfacing of the Motorola 68Hc12 (Engineering)

Introduction to Microcontrollers is a comprehensive introductory text/reference for electrical and computer engineers, students, and even hobbyists who have little experience in a high-level programming language. The book helps them understand how a typical microcontroller executes assembly language instructions and addressing modes on...

Grid Computing: Towards a Global Interconnected Infrastructure (Computer Communications and Networks)
Grid Computing: Towards a Global Interconnected Infrastructure (Computer Communications and Networks)

Grid Computing was a vision of using and sharing computers and data in the early 1990s. The integration, coordination, and sharing of computer resources which are geographically disperse among different physical domains and organizations became an every day reality. This emerging infrastructure aims to provide a mechanism for sharing...

STAMP 2 Communications and Control Projects
STAMP 2 Communications and Control Projects
CD-ROM WITH SOFTWARE, PHOTOS, SCHEMATICS, AND MORE!

EVERYTHING YOU NEED TO INCORPORATE THE STAMP II CONTROLLER INTO YOUR NEXT COMMUNICATIONS PROJECT

When it comes to adding power to complex electronic circuits, the BASIC STAMP II microprocessor is the standard against which all others are judged....

Nano-CMOS Circuit and Physical Design
Nano-CMOS Circuit and Physical Design
A practical approach to nano-CMOS circuit design and implementation

The fast pace of new technology and the challenges of nano-scaling are bringing together the once-separate disciplines of circuit design, technology device physics, and physical implementation. A good understanding of the underlying physical constraints of device, interconnect,...

Professional Parallel Programming with C#: Master Parallel Extensions with .NET 4
Professional Parallel Programming with C#: Master Parallel Extensions with .NET 4

In 2007, Microsoft released the fi rst Community Technology Preview (CTP) of Parallel Extensions for the .NET Framework. The old .NET Framework multithreading programming model was too complex and heavyweight for the forthcoming multicore and manycore CPUs. I had been researching parallel programming, multiprocessor, and multicore since 1997,...

Dedicated Digital Processors: Methods in Hardware/Software Co-Design
Dedicated Digital Processors: Methods in Hardware/Software Co-Design

This book is intended as an introduction to the design of digital processors that are dedicated to performing a particular task. It presents a number of general methods and also covers general purpose architectures such as programmable processors and configurable logic. In fact, the dedicated digital system might be based on a standard...

Processor Design: System-On-Chip Computing for ASICs and FPGAs
Processor Design: System-On-Chip Computing for ASICs and FPGAs
rocessor Design addresses the design of different types of embedded, firmware-programmable computation engines. Because the design and customization of embedded processors has become a mainstream task in the development of complex SoCs (Systems-on-Chip), ASIC and SoC designers must master the integration and development of processor...
Result Page: 8 7 6 5 4 3 2 1 
©2019 LearnIT (support@pdfchm.net) - Privacy Policy