Date: Tuesday 13 March 2012
Time: 12:30 - 14:30
Location / Room: Booth 50, Exhibition

Organisers:
J Lienig, TU Dresden,
A Vörg, edacentrum,

Moderator:
R Fischbach, TU Dresden,

Time	Label	Presentation Title Authors
16:10		GSNOC - A GENERIC SCALABLE SIMULATION FRAMEWORK FOR 3-DIMENSION NETWORKS-ON-CHIP Authors: Haoyuan Ying1, Ashok Jaiswal1, Philip Gottschling1, Thomas Hollstein2 and Klaus Hofmann1 1Darmstadt TU, Germany; 2Tallinn TU, Estonia Abstract
16:10		DAEDALUS^RT: THE SYSTEM-LEVEL DESIGN FLOW FOR HARD-REAL-TIME EMBEDDED MPSOCS PLATFORMS Authors: Mohamed Bamakhrama, Jiali Teddy Zhai, Hristo Nikolov and Todor Stefanov, Leiden University, Netherlands Abstract
16:10		FORMAL VERIFICATION OF UML-BASED SPECIFICATIONS Authors: Mathias Soeken, Robert Wille and Rolf Drechsler, Bremen U, Germany Abstract
16:10		DYNAMIC TASK SCHEDULING FOR HETEROGENEOUS MPSOCS Author: Oliver Arnold, Dresden TU, Germany Abstract
16:10		C-BASED TIMING DRIVEN DESIGN - C-BASED TIMING DRIVEN HIGH-LEVEL DESIGN SYSTEM FOR SYSTEM LSI Authors: Takashi Kambe1 and Shuji Tsukiyama2 1Kinki University, Japan; 2Chuo University, Japan Abstract
16:10		MUTATION BASED TESTING OF SOFTWARE BINARIES Authors: Markus Becker, Tao Xie, Christoph Kuznik, Mable Mary Joy and Wolfgang Müller, Paderborn U, Germany Abstract
16:10		AN EVOLUTIONARY ALGORITHM BASED DISTRIBUTED CHARGE MANAGEMENT SYSTEM FOR ELECTRIC VEHICLES REALIZED WITH FPGA Authors: Matthias Mielke, Armin Grünewald and Rainer Brück, Siegen U, Germany Abstract
16:10		MIMO_SD_FEC DEMO - MIMO DETECTION-DECODING ENGINE Authors: Steffen Kunze and Esther Perez, Vodafone Chair Mobile Communications Systems, Germany Abstract
16:10		COMPLEX_UML_MARTE - THE COMPLEX ECLIPSE FRAMEWORK FOR UML/MARTE SPECIFICATION OF EMBEDDED SYSTEMS AND AUTOMATIC GENERATION OF EXECUTABLE MODELS FOR DESIGN SPACE EXPLORATION Authors: Fernando Herrera1, Pablo Peñil1, Eugenio Villar1, Francisco Ferrero2 and Raúl Valencia2 1Cantabria U, Spain; 2GMV Aerospace and Defence SAU, Spain Abstract
14:30		End of session