Date: Wednesday 20 March 2013
Time: 10:00 - 12:30
Location / Room: Booth 46, Exhibition

Time	Label	Presentation Title Authors
10:00	UB05.1	COMBINING APPLICATION ADAPTIVITY AND SYSTEM-WIDE RESOURCE MANAGEMENT: A NOVEL APPROACH Authors: Edoardo Paone, Giuseppe Massari, Patrick Bellasi, William Fornaciari, Gianluca Palermo, Cristina Silvano and Vittorio Zaccaria, Politecnico di Milano, IT Abstract
10:00	UB05.2	RODIN: MODELLING AND VERIFICATION TOOLSET Author: John Colley, University of Southampton, UK Abstract
10:00	UB05.3	SYNTHORUS-2: AUTOMATIC PROTOTYPING ON FPGA FROM PSL Authors: Fatemeh Javaheri, Katell Morin‐Allory, Alexandre Porcher and Dominique Borrione, TIMA Lab, FR Abstract
10:00	UB05.4	FUNCTIONAL VERIFICATION OF CUSTOM PROCESSORS USING AUTOMATED GENERATION OF VERIFICATION ENVIRONMENTS Authors: Marcela Šimková, Zdeněk Přikryl, Zdeněk Kotásek and Tomáš Hruška, Faculty of Information Technology, Brno University of Technology, CZ Abstract
10:00	UB05.5	FPGA-BASED IP-CORES LIBRARY FOR ADVANCED IMAGE PROCESSING IN SPACE APPLICATIONS Authors: Pascal Trotta, Paolo Prinetto and Daniele Rolfo, Politecnico di Torino, IT Abstract
10:00	UB05.6	ID.FIX: A SOFTWARE INFRASTRUCTURE FOR THE DESIGN OF EMBEDDED SYSTEMS USING FIXED-POINT ARITHMETIC Authors: Olivier Sentieys1, Daniel Ménard2 and Romuald Rocher3 1INRIA, FR; 2INSA Rennes, FR; 3University of Rennes 1, FR Abstract
10:00	UB05.7	VUART: DEBUG OF A DESIGN EMBEDDING 24 MICRO-BLAZES ON A ZYNQ Authors: Pierre Bomel, Jean-Philippe Diguet and Kevin Martin, Université de Bretagne Sud, FR Abstract
10:00	UB05.8	DATAFLOW-BASED ADAPTIVE MULTICORE EXECUTION ON A XILINX ZYNQ PLATFORM Authors: Julien Heulot, Yaset Oliva, Maxime Pelcat, Jean-François Nezan and Jean-Christophe Prevotet, INSA Rennes, IETR, FR Abstract
10:00	UB05.9	ECA : AN INTEGRATED USER-FRIENDLY TOOL FOR EDUCATION OF COMPUTER ARITHMETIC Authors: Saba Amanollahi, Hamed Fatemi and Ghassem Jaberipur, Shahid Beheshti University, IR Abstract
12:30		End of session Lunch Break in Ecrins Sandwich lunch (Eat early for High-Performance Low-Power Computing - Energy Efficient Computing Keynote - Room Oisans at 1330; http://www.date-conference.com/conference/session/7.0)