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 | |