Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Industrial Deployment of System Engineering Methods

Design, Analysis and Test of Logic Circuits Under Uncertainty

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations

Introduction to Cryptography with Maple

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings

Complex Binary Number System Algorithms and Circuits

Modeling, Analysis and Optimization of Network-on-Chip Communication Architectures

Electronique Appliquée, Electromécanique sous Simscape & SimPowerSystems (Matlab/Simulink)

Design Technology for Heterogeneous Embedded Systems

Introduction to Hardware Security and Trust

DSP Architecture Design Essentials

Reconfigurable Networks-on-Chip

The Art of Hardware Architecture Design Methods and Techniques for Digital Circuits

High Quality Test Pattern Generation and Boolean Satisfiability

System Specification and Design Languages Selected Contributions from FDL 2010

Automated Configuration Problem Solving

Introduction to Open Core Protocol Fastpath to System-on-Chip Design

Analog Circuit Design for Process Variation-Resilient Systems-on-a-Chip

Disruptive Logic Architectures and Technologies From Device to System Level

Tree-based Heterogeneous FPGA Architectures Application Specific Exploration and Optimization

Securing Digital Video Techniques for DRM and Content Protection

Hardware/Software Co-design for Heterogeneous Multi-core Platforms The hArtes Toolchain

Multiprocessor Systems on Chip Design Space Exploration

Hardware/Software Architectures for Low-Power Embedded Multimedia Systems

Technische Informatik Band 2: Entwurf digitaler Schaltungen

Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems

Power Distribution Networks with On-Chip Decoupling Capacitors

Microelectronic Systems Circuits, Systems and Applications

Electronic System Level Design An Open-Source Approach

Real-Time Systems Design Principles for Distributed Embedded Applications

Application Analysis Tools for ASIP Design Application Profiling and Instruction-set Customization

Device-Level Modeling and Synthesis of High-Performance Pipeline ADCs

Designing a New Class of Distributed Systems

Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications

VLSI Design A Practical Guide for FPGA and ASIC Implementations

From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology

VLSI 2010 Annual Symposium Selected papers

Operational Amplifiers Theory and Design

The gm/ID Methodology, A Sizing Tool for Low-voltage Analog CMOS Circuits The semi-empirical and compact model approaches

Secure Integrated Circuits and Systems

Efficient Test Methodologies for High-Speed Serial Links

Dynamically Reconfigurable Systems Architectures, Design Methods and Applications

Debugging at the Electronic System Level

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009

Symmetries and Groups in Signal Processing An Introduction

Multimedia Multiprocessor Systems Analysis, Design and Management

Network-on-Chip Architectures A Holistic Design Exploration

Analog Circuit Design Smart Data Converters, Filters on Chip, Multimode Transmitters

Dynamic Reconfigurable Architectures and Transparent Optimization Techniques Automatic Acceleration of Software Execution

Robust Computing with Nano-scale Devices Progresses and Challenges

Pipelined ADC Design and Enhancement Techniques

Designing Inclusive Interactions Inclusive Interactions Between People and Products in Their Contexts of Use

Evolution of Communication and Language in Embodied Agents

Understanding Cryptography A Textbook for Students and Practitioners

RoboCup 2009: Robot Soccer World Cup XIII

Quality-Driven SystemC Design

Ultra-Low Energy Domain-Specific Instruction-Set Processors

Information Theory and Statistical Learning

Structured Analog CMOS Design

Analog Circuit Design High-speed Clock and Data Recovery, High-performance Amplifiers, Power Management

Hardware Software Co-Design of a Multimedia SOC Platform

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

Designing Reliable and Efficient Networks on Chips

Multicore Processors and Systems

Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach

Rescue Robotics DDT Project on Robots and Systems for Urban Search and Rescue

Engineering Haptic Devices A Beginner's Guide for Engineers

Electromagnetic Field Computation by Network Methods

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers

RoboCup 2008: Robot Soccer World Cup XII

Logic Functions and Equations Examples and Exercises

SPS-Programmierung mit IEC 61131-3 Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfen

The Path to Autonomous Robots Essays in Honor of George A. Bekey

Intelligent Environments Methods, Algorithms and Applications

Robot Behaviour Design, Description, Analysis and Modelling

Introduction to Reconfigurable Computing Architectures, Algorithms, and Applications

Robustness and Usability in Modern Design Flows

Practical Aspects of Embedded System Design using Microcontrollers

Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring