Computer architecture and logic design

This book presents techniques necessary to predict cardiac arrhythmias, long before they occur, based on minimal ECG data.

This book brings together a selection of the best papers from the nineteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2016, in Bremen, Germany.

This book describes the design and implementation of energy-efficient smart (digital output) temperature sensors in CMOS technology.

This book constitutes the refereed proceedings of the 9th International Symposium on Engineering Secure Software and Systems, ESSoS 2017, held in Bonn,  Germany in July 2017.

This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.

This book provides its readers with the means to implement energy-efficient video systems, by using different optimization approaches at multiple abstraction levels.

This book is based on the 18 tutorials presented during the 26th workshop on Advances in Analog Circuit Design.

This book constitutes the refereed proceedings of the 9th International Conference on Reversible Computation, RC 2017, held in Kolkata, India, in July 2017.

This book constitutes the refereed post-conference proceedings of 9 workshops held at the 35th International ISC High Performance 2021 Conference, in Frankfurt, Germany, in June-July 2021:Second International Workshop on the Application of Machine Learning Techniques to Computational Fluid Dynamics and Solid Mechanics Simulations and Analysis; HPC-IODC: HPC I/O in the Data Center Workshop; Compiler-assisted Correctness Checking and Performance Optimization for HPC; Machine Learning on HPC Systems;4th International Workshop on Interoperability of Supercomputing and Cloud Technologies;2nd International Workshop on Monitoring and Operational Data Analytics;16th Workshop on Virtualization in High--Performance Cloud Computing; Deep Learning on Supercomputers; 5th International Workshop on In Situ Visualization.

This book describes in detail all required technologies and methodologies needed to create a comprehensive, functional design verification strategy and environment to tackle the toughest job of guaranteeing first-pass working silicon.

The two-volume set LNAI 10245 and LNAI 10246 constitutes the refereed proceedings of the 16th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2017, held in Zakopane, Poland in June 2017.

The two-volume set LNAI 10245 and LNAI 10246 constitutes the refereed proceedings of the 16th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2017, held in Zakopane, Poland in June 2017.

This book constitutes the refereed proceedings of the 32nd International Conference, ISC High Performance 2017, held in Frankfurt, Germany, in June 2017.

This book provides readers with a comprehensive introduction to the formal verification of hardware and software.

This book describes state-of-the-art approaches to Fog Computing, including the background of innovations achieved in recent years.

This book provides a comprehensive overview of flow-based, microfluidic VLSI.

A unique feature of this textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things.

The two volumes LNCS 10199 and 10200 constitute the refereed conference proceedings of the 20th European Conference on the Applications of Evolutionary Computation, EvoApplications 2017, held in Amsterdam, The Netherlands, in April 2017, collocated with the Evo* 2016 events EuroGP, EvoCOP, and EvoMUSART.

This textbook covers the design of electronic systems from the ground up, from drawing and CAD essentials to recycling requirements.

The two volumes LNCS 10199 and 10200 constitute the refereed conference proceedings of the 20th European Conference on the Applications of Evolutionary Computation, EvoApplications 2017, held in Amsterdam, The Netherlands, in April 2017, colocated with the Evo* 2016 events EuroGP, EvoCOP, and EvoMUSART.

This book describes the building blocks and introductory business models for Internet of Things (IoT).

This book provides a comprehensive introduction to embedded flash memory, describing the history, current status, and future projections for technology, circuits, and systems applications.

This book provides comprehensive coverage of the dependability challenges in today's advanced computing systems.

This book provides readers with an insightful guide to the design, testing and optimization of 2.

This book describes the current state of the art in big-data analytics, from a technology and hardware architecture perspective.

This textbook for courses in Digital Systems Design introduces students to the fundamental hardware used in modern computers.

This book focuses on computing devices and their design at various levels to combat variability.

This book describes algorithmic methods and parallelization techniques to design a parallel sparse direct solver which is specifically targeted at integrated circuit simulation problems.

This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial 'state of the art'.

This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2016, held in Rochester, NY, USA, in September 2016.

This book presents a realistic and a holistic review of the microelectronic and semiconductor technology options in the post Moore's Law regime.

This book constitutes revised selected papers from the Second International Workshop on Brain-Inspired Computing, BrainComp 2015, held in Cetraro, Italy, in July 2015.

This book provides a comprehensive and up-to-date guide to the design of security-hardened, hardware intellectual property (IP).

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Swarm Intelligence Based Optimization, ICSIBO 2016, held in Mulhouse, France, in June 2016.

This book is about security in embedded systems and it provides an authoritative reference to all aspects of security in system-on-chip (SoC) designs.

This book introduces readers to alternative approaches to designing efficient embedded systems using unconventional number systems.

This book addresses Software-Defined Radio (SDR) baseband processing from the computer architecture point of view, providing a detailed exploration of different computing platforms by classifying different approaches, highlighting the common features related to SDR requirements and by showing pros and cons of the proposed solutions.

This book provides an overview of current Intellectual Property (IP) based System-on-Chip (SoC) design methodology and highlights how security of IP can be compromised at various stages in the overall SoC design-fabrication-deployment cycle.

This book introduces readers to various threats faced during design and fabrication by today's integrated circuits (ICs) and systems.

This book describes new and effective methodologies for modeling, analyzing and mitigating cell-internal signal electromigration in nanoCMOS, with significant circuit lifetime improvements and no impact on performance, area and power.

This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies.

This book provides a comprehensive treatment of security in the widely adopted, Radio Frequency Identification (RFID) technology.

This book puts in focus various techniques for checking modeling fidelity of Cyber Physical Systems (CPS), with respect to the physical world they represent.

This book constitutes revised selected papers from 7 workshops that were held in conjunction with the ISC High Performance 2016 conference in Frankfurt, Germany, in June 2016.

This book constitutes the proceedings of the 12th International Workshop on OpenMP, IWOMP 2016, held in Nara, Japan, in October 2016.

This book provides a comprehensive introduction to hardware security, from specification to implementation.

This volume provides a comprehensive state of the art overview of a series of advanced trends and concepts that have recently been proposed in the area of green information technologies engineering as well as of design and development methodologies for models and complex systems architectures and their intelligent components.

This book introduces new logic primitives for electronic design automation tools.

This book helps readers to implement their designs on Xilinx(R) FPGAs.

This book introduces readers to a variety of tools for automatic analog integrated circuit (IC) sizing and optimization.