This book examines issues related to the test, diagnosis and fault-tolerance of Network on Chip-based systems. It provides research on the challenges to test, diagnose and tolerate faults in NoC-based systems and includes numerous test strategies.
This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.
This comprehensive introduction to signal processing presents the basic mathematics in an accessible and lucid fashion, illustrating the theory with numerous applications and examples and featuring online resources including MATLAB coding for exemplars.
This text covers most of the theoretical foundations and mathematical derivations that will be used in higher-level related subjects such as signal processing, communication and control, minimizing the mathematical difficulty and computational burden.
This self-contained reference on smart cameras covers their fifty-year history, their technical evolution, their state-of-the-art, and numerous applications such as surveillance and monitoring, robotics, and transportation.
Following an introduction on system theory, this book shows the reader how to approach the system identification problem in a systematic fashion. It aims to teach students the fundamentals of systems identification without unduly complicated mathematics.
This book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore architectures. It helps reader avoid time-consuming and error-prone validation methodologies.
The Art of Hardware Architecture highlights the complex issues, tasks and skills involved with digital circuit design. Coverage focuses on real problems rather than theoretical concepts, with an emphasis on design techniques across various aspects of chip-design.
This book examines the impact of the Digital Dividend on terrestrial broadcasting now and tomorrow. Covers spectrum management, the analog to digital switch, and consequences of the identification of a spectrum that could be released for other uses.
Information is increasingly being generated, processed and used by machines today, even though the end user may be human. This book presents new ways of dealing with digital information and new types of digital information.