Agenda
| Time | Label | Session |
|---|---|---|
| 19:00 | FM01.1 | Poster Session |
| 19:00 | FM01.1.1 | Selective Transistor-Redundancy Based Fault Tolerance Technique for Combinational Circuits Ahmad Sheikh, King Fahd University of Petroleum & Minerals, SA |
| 19:00 | FM01.1.2 | Definition of Methods and Tools for an Effective Smart Buildings Deployment Alessandro Antonio Nacci, Politecnico di Milano, IT |
| 19:00 | FM01.1.3 | Design Methods for Reliable Quantum Circuits Alexandru Paler, University of Passau, DE |
| 19:00 | FM01.1.4 | Energy Efficient Cache Memories in Deeply-Scaled Technologies Alireza Shafaei Bejestan, University of Southern California, US |
| 19:00 | FM01.1.5 | Hybrid Wire and Surface-wave Communication Fabrics for Future NoC-based Chip Multiprocessors Ammar Karkar, School of Electrical and Electronic Engineering, Newcastle University, Newcastle upon Tyne, GB |
| 19:00 | FM01.1.7 | High-level Constructive Synthesis of Domain-Specific Kernels of Cryptography Ayesha Khaild, RWTH Aachen, DE |
| 19:00 | FM01.1.8 | Safety-Assured Model-Based Implementation of the GPCA Infusion Pump Software BaekGyu Kim, University of Pennsylvania, US |
| 19:00 | FM01.1.9 | Improved Test Techniques for Network-on-Chip Based Memory Systems Bibhas Ghoshal, IIT, Kharagpur, IN |
| 19:00 | FM01.1.10 | Dedicated Hardware Accelerators for High Efficiency Video Coding Standard Cláudio Diniz, UFRGS, BR |
| 19:00 | FM01.1.11 | Heat Dissipation and Thermal Analysis for 3D ICs Cristiano Santos, PGMICRO-UFRGS / CEA-Leti, BR |
| 19:00 | FM01.1.12 | Fault Tolerance for Real-Time Systems: Analysis and Optimization of Roll-back Recovery with Checkpointing Dimitar Nikolov, Lund University, Department of Electrical and Information Technology, SE |
| 19:00 | FM01.1.13 | SyntHorus2: A Tool for Assertion-based Synthesis Fatemeh JAVAHERI, TIMA Lab, FR |
| 19:00 | FM01.1.14 | Multilevel Modeling, Formal Analysis, and Characterization of Soft Errors in Digital Systems Ghaith Bany Hamad, Polytechnique Montréal, CA |
| 19:00 | FM01.1.15 | RHetOS: A Reconfigurable and Heterogeneous Operating System Gianluca Durelli, Politecnico di Milano, IT |
| 19:00 | FM01.1.16 | Path-Based Program Repair Heinz Riener, University of Bremen, DE |
| 19:00 | FM01.1.17 | Theory and applications of quantum process calculus Ittoop Puthoor, University of Glasgow, GB |
| 19:00 | FM01.1.18 | Non-Invasive Extraction of SystemC Meta Data Jannis Stoppe, DFKI GmbH, DE |
| 19:00 | FM01.1.19 | Synthesis and Optimization of Reversible Logic Circuits Kamalika Datta, National Institute of Technology, Meghalaya, IN |
| 19:00 | FM01.1.20 | Optical Interconnects for Computing Systems: a Formal Study on Signal-to-Noise Ratio Mahdi Nikdast, Polytechnique Montréal, CA |
| 19:00 | FM01.1.21 | NoC-Centric Partitioning and Reconfiguration Technologies for the Efficient Sharing of Many-Core Platforms Marco Balboni, University of Ferrara, IT |
| 19:00 | FM01.1.22 | Post-Manufacturing One-Shot Calibration of RF Circuits Based on Non-Intrusive Sensors Martin Andraud, TIMA Laboratory, FR |
| 19:00 | FM01.1.23 | Range Based Analysis of Inner Systems Characteristics Michael Rathmair, Institute of Computer Technology, Vienna University of Technology, AT |
| 19:00 | FM01.1.24 | Making Homogeneous the Platform-Based Design of Heterogeneous Cyber-Physical Systems Michele Lora, University of Verona, IT |
| 19:00 | FM01.1.25 | Power Aware Test and Test of Low Power Devices Miroslav Valka, Post-Doc, FR |
| 19:00 | FM01.1.26 | Run-Time Resource Management of Networked Many-Core Systems Mohammad Fattah, University of Turku, FI |
| 19:00 | FM01.1.27 | Thermal Management Using Thermoelectric Coolers Mohammad Javad Dousti, University of Southern California, US |
| 19:00 | FM01.1.28 | Yield and Cost Analysis for 3D Stacked ICs Mottaqiallah Taouil, Delft University of Technology, NL |
| 19:00 | FM01.1.29 | Hardware-Software Co-Design for Next Generation Dark Silicon Multimedia Systems Muhammad Usman Karim Khan, Karlsruhe Institute of Technology (KIT), DE |
| 19:00 | FM01.1.30 | Design Space Exploration of Thread vs. Arithmetic Level Parallelism to Design a Computation Unit of the Multi-chip eBrain Supercomputer Nasim Farahini, KTH, SE |
| 19:00 | FM01.1.31 | Towards High Performance and Efficiency of Heterogeneous Systems Sam Skalicky, Rochester Institute of Technology, US |
| 19:00 | FM01.1.32 | Power: Its Manifestations in Digital Systems Testing Seetal Potluri, Indian Institute of Technology Madras, IN |
| 19:00 | FM01.1.33 | Managing the Complexity in Embedded and Cyber-Physical System Design - System Modeling and Design-Space Exploration Seyed-Hosein Attarzadeh-Niaki, KTH Royal Institute of Technology, SE |
| 19:00 | FM01.1.34 | Logic Rewiring: a Practical Bridging Technique between VLSI Logical and Physical Syntheses Xing Wei, Chinese University of Hong Kong, HK |
| 19:00 | FM01.1.35 | Distributed Thermal Management for Large-Scale Chip-Multiprocessors Yingnan Cui, Nanyang Technological University, SG |
| 19:00 | FM01.1.36 | High-level Modeling, Estimation and Exploration of Reliability for MPSoC Zheng Wang, RWTH-Aachen University, DE |
| 19:00 | FM01.1.37 | Modeling, Analysis and Exploration of Layers: A 3D Computing Architecture Zoltán Endre Rákossy, Institute for Communication Technologies and Embedded Systems (ICE), RWTH Aachen, DE |