|
This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design - from formal verification and error guarantees to synthesis and test of approximation systems. They provide algorithms and methodologies based on classical formal verification, synthesis and test techniques for an approximate computing IC design flow. This is one of the first books in Approximate Computing that addresses the design automation aspects, aiming for not only sketching the possibility, but providing a comprehensive overview of different tasks and especially how they can be implemented.
|
|
|
The Disciplinary Frame: Photographic Truths and the Capture of MeaningPhotography can seem to capture reality and the eye like no other medium, commanding belief and wielding the power of proof. In some cases, a photograph itself is attributed the force of the real. How can a piece of chemically discolored paper have such potency? How does the meaning of a photograph become fixed? In The Disciplinary Frame,... | | Streaming Media: Building and Implementing a Complete Streaming SystemA complete toolkit to successfully develop and implement streaming media on the Web
From hands-on training and distance learning to teleconferencing and product demonstrations, streaming media is providing businesses with a whole new world of opportunity. Written by one of the leading experts in the field, this book will provide you with all... | | Introduction to Mobile Communications: Technology, Services, MarketsThe traditionally separate Fixed, Mobile, and Internet sectors are now converging into a single sector with implications for both technology and business. With so much happening, and so many options available, it is increasingly essential for telecommunication professionals to have a clear view of where the industry is heading. This book provides a... |
|