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 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...
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...
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 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 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 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...
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....
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,...
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,...
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...
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...
