Scheduled Poster Presentations

1. Agathoklis Papadopoulos (University of Cyprus, CY): Accelerating Bioinformatics and Biomedical Applications via Massively Parallel Reconfigurable Systems
2. Angeliki Kritikakou (ONERA, Toulouse, F): Scalable & Near-optimal methodologies for memory management & processing of embedded systems
3. Antonio Salazar (University of Porto, PT): Mixed-signal Test and Measurement Framework for Wearable Monitoring System
4. Anup Das (National University of Singapore, SG): Design Methodology for Reliable and Energy Efficient Multiprocessor Systems
5. Arnaldo Cruz (Kyushu University, JP): Compiler optimization space exploration using machine learning techniques
6. Benoit Vernay (University Pierre et Marie Curie, Paris, F): A Novel Method of MEMS System-Level Modeling via Multi-Domain Virtual Prototyping in SystemC-AMS
7. Daniele Bortolotti (University of Bologna, I): A Process and Environmental Variation Tolerance Scheme for ULP Shared-memory Processor Cluster
8. Danila Gorodecky (Academy of Sciences, Minsk, Belarus): Mathematical Models and Synthesis Methods of Computing Devices in Modular Arithmetic
9. Domitian Tamas-Selicean (Technical University of Denmark, DK): Design of Mixed-Criticality Applications on Distributed Real-Time Systems
10. Emad Ebeid (University of Verona, I): Modeling and Synthesis of the Network in Distributed Embedded Systems
11. Fabian Oboril (Karlsruhe Institute of Technology, D): Cross-Layer Approaches for Aging-Aware Design of Nanoscale Microprocessors
12. Fatemeh Negin Javaheri (TIMA Lab, F): Designing from Assertions: from PSL Properties to a Compliant Hardware Prototype
13. Fazal Hameed (Karlsruhe Institute of Technology, D): DRAM Aware Last Level Cache Policies for Multi-Core Systems
14. Jai Narayan Tripathi (Indian Institute of Technology Mumbai, IN): Power Integrity Analysis and Discrete Optimization of Decoupling Capacitors
15. Karthik Chandrasekar (Delft University of Technology, NL): High-Level Power Estimation of DRAMs
16. Lars Middendorf (University of Rostock, D): Dynamic Task Mapping on Multi-Core Architectures using Stream Rewriting
17. Leonidas Kosmidis (Barcelona Supercomputing Center, ES): Enabling Caches in Probabilistic Timing Analysis
18. Luca Cassano (University of Pisa, I): Analysis and Test of the Effects of Single Event Upsets Affecting the Configuration Memory of SRAM-based FPGAs
19. Marco Indaco (Politecnico di Torino, I): Service Oriented Non Volatile Memories
20. Matheus Moreira (Pontifical Catholic University of Rio Grande do Sul, BR): Quasi-Delay-Insensitive Return-to-One Design
21. Mathias Soeken (University of Bremen, D): Formal Specification Level
22. Milan Pavlovic (Barcelona Supercomputing Center, ES): Data Placement in HPC Architectures with Heterogeneous Off-chip Memory
23. Mirela Alistar (Technical University of Denmark, DK): Compilation and Synthesis for Fault-Tolerant Digital Microfluidic Biochips
24. Miroslav Valka (University of Montpellier II, F): Power Aware Test and Test of Low Power Devices
25. Mohamed Bamakhrama (Leiden University, NL): On Hard Real-Time Scheduling of Cyclo-Static Dataflow and its Application in System-Level Design
26. Namita Sharma (Indian Institute of Technology Delhi, IN): Data Memory Optimizations for SPM based Baseband Processor Architectures
27. Nikola Rajovic (Barcelona Supercomputing Center, ES): High Performance Computing with Mobile SoCs: Opportunities and Challenges
28. Norma Montealegre (Heinz Nixdorf Institut, Paderborn, D): Immunorepairing of Hardware Systems
29. Ogun Turkyilmaz (CEA-LETI, Grenoble, F): Using 3D technologies to reduce power consumption of FPGAs
30. Oliver Arnold (TU Dresden, D): Dynamic Task Scheduling for heterogeneous MPSoCs
31. Pydi Bahubalindruni (University of Porto, PT): Analog/Mixed – Signal Circuits using a-GIZO TFTs
32. Robert Reicherdt (Technische Universität Berlin, D): Formal Veri?cation of Discrete-Time MATLAB/Simulink Models using Boogie
33. Saman Kiamehr (Karlsruhe Institute of Technology, D): Cross layer resiliency modeling and optimization: A device to circuit approach
34. Samaneh Ghandali (University of Tehran, IR): High-level Synthesis and Optimization of Datapath-intensive Embedded System Designs
35. Sudip Roy (Indian Institute of Technology Kharagpur, IN): Algorithms for Design Automation of Sample Preparation on Digital Microfluidic Biochips
36. Turbo Majumder (Indian Institute of Technology Delhi, IN): On-Chip Network-Enabled Many-Core Architectures for Computational Biology Applications
37. Vito Giovanni Castellana (Politecnico di Milano, I): C-Based High Level Synthesis of Adaptive Hardware Components