Compilation for Secure Multi-party Computation

Nonlinear Dynamics of Electronic Systems 22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014. Proceedings

Memristor Networks

3D Flash Memories

High-Performance Computing on the Intel® Xeon Phi™ How to Fully Exploit MIC Architectures

Collaborative Design for Embedded Systems Co-modelling and Co-simulation

VLSI-SoC: Design for Reliability, Security, and Low Power 23rd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2015, Daejeon, Korea, October 5-7, 2015, Revised Selected Papers

Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

Fundamentals of Electronic Systems Design

New Data Structures and Algorithms for Logic Synthesis and Verification

Reliable and Energy Efficient Streaming Multiprocessor Systems

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors