Date: Monday 09 March 2015
Time: 19:00 - 21:00
Location / Room: Salle de Reception

Time	Label	Presentation Title Authors
19:00	FM01.1.1	SELECTIVE TRANSISTOR-REDUNDANCY BASED FAULT TOLERANCE TECHNIQUE FOR COMBINATIONAL CIRCUITS Speaker: 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 Speaker: Alessandro Antonio Nacci, Politecnico di Milano, IT
19:00	FM01.1.3	DESIGN METHODS FOR RELIABLE QUANTUM CIRCUITS Speaker: Alexandru Paler, University of Passau, DE
19:00	FM01.1.4	ENERGY EFFICIENT CACHE MEMORIES IN DEEPLY-SCALED TECHNOLOGIES Speaker: 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 Speaker: 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 Speaker: Ayesha Khaild, RWTH Aachen, DE
19:00	FM01.1.8	SAFETY-ASSURED MODEL-BASED IMPLEMENTATION OF THE GPCA INFUSION PUMP SOFTWARE Speaker: BaekGyu Kim, University of Pennsylvania, US
19:00	FM01.1.9	IMPROVED TEST TECHNIQUES FOR NETWORK-ON-CHIP BASED MEMORY SYSTEMS Speaker: Bibhas Ghoshal, IIT, Kharagpur, IN
19:00	FM01.1.10	DEDICATED HARDWARE ACCELERATORS FOR HIGH EFFICIENCY VIDEO CODING STANDARD Speaker: Cláudio Diniz, UFRGS, BR
19:00	FM01.1.11	HEAT DISSIPATION AND THERMAL ANALYSIS FOR 3D ICS Speaker: 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 Speaker: Dimitar Nikolov, Lund University, Department of Electrical and Information Technology, SE
19:00	FM01.1.13	SYNTHORUS2: A TOOL FOR ASSERTION-BASED SYNTHESIS Speaker: Fatemeh JAVAHERI, TIMA Lab, FR
19:00	FM01.1.14	MULTILEVEL MODELING, FORMAL ANALYSIS, AND CHARACTERIZATION OF SOFT ERRORS IN DIGITAL SYSTEMS Speaker: Ghaith Bany Hamad, Polytechnique Montréal, CA
19:00	FM01.1.15	RHETOS: A RECONFIGURABLE AND HETEROGENEOUS OPERATING SYSTEM Speaker: Gianluca Durelli, Politecnico di Milano, IT
19:00	FM01.1.16	PATH-BASED PROGRAM REPAIR Speaker: Heinz Riener, University of Bremen, DE
19:00	FM01.1.17	THEORY AND APPLICATIONS OF QUANTUM PROCESS CALCULUS Speaker: Ittoop Puthoor, University of Glasgow, GB
19:00	FM01.1.18	NON-INVASIVE EXTRACTION OF SYSTEMC META DATA Speaker: Jannis Stoppe, DFKI GmbH, DE
19:00	FM01.1.19	SYNTHESIS AND OPTIMIZATION OF REVERSIBLE LOGIC CIRCUITS Speaker: 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 Speaker: 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 Speaker: Marco Balboni, University of Ferrara, IT
19:00	FM01.1.22	POST-MANUFACTURING ONE-SHOT CALIBRATION OF RF CIRCUITS BASED ON NON-INTRUSIVE SENSORS Speaker: Martin Andraud, TIMA Laboratory, FR
19:00	FM01.1.23	RANGE BASED ANALYSIS OF INNER SYSTEMS CHARACTERISTICS Speaker: 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 Speaker: Michele Lora, University of Verona, IT
19:00	FM01.1.25	POWER AWARE TEST AND TEST OF LOW POWER DEVICES Speaker: Miroslav Valka, Post-Doc, FR
19:00	FM01.1.26	RUN-TIME RESOURCE MANAGEMENT OF NETWORKED MANY-CORE SYSTEMS Speaker: Mohammad Fattah, University of Turku, FI
19:00	FM01.1.27	THERMAL MANAGEMENT USING THERMOELECTRIC COOLERS Speaker: Mohammad Javad Dousti, University of Southern California, US
19:00	FM01.1.28	YIELD AND COST ANALYSIS FOR 3D STACKED ICS Speaker: Mottaqiallah Taouil, Delft University of Technology, NL
19:00	FM01.1.29	HARDWARE-SOFTWARE CO-DESIGN FOR NEXT GENERATION DARK SILICON MULTIMEDIA SYSTEMS Speaker: 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 Speaker: Nasim Farahini, KTH, SE
19:00	FM01.1.31	TOWARDS HIGH PERFORMANCE AND EFFICIENCY OF HETEROGENEOUS SYSTEMS Speaker: Sam Skalicky, Rochester Institute of Technology, US
19:00	FM01.1.32	POWER: ITS MANIFESTATIONS IN DIGITAL SYSTEMS TESTING Speaker: 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 Speaker: 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 Speaker: Xing Wei, Chinese University of Hong Kong, HK
19:00	FM01.1.35	DISTRIBUTED THERMAL MANAGEMENT FOR LARGE-SCALE CHIP-MULTIPROCESSORS Speaker: Yingnan Cui, Nanyang Technological University, SG
19:00	FM01.1.36	HIGH-LEVEL MODELING, ESTIMATION AND EXPLORATION OF RELIABILITY FOR MPSOC Speaker: Zheng Wang, RWTH-Aachen University, DE
19:00	FM01.1.37	MODELING, ANALYSIS AND EXPLORATION OF LAYERS: A 3D COMPUTING ARCHITECTURE Speaker: Zoltán Endre Rákossy, Institute for Communication Technologies and Embedded Systems (ICE), RWTH Aachen, DE
21:00		End of session