Date: Wednesday 14 March 2012
Time: 14:30 - 16: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
21:02		HPM: AN INTERACTIVE WEB SERVICE FOR HIGH-PERFORMANCE MACROMODELING OF PASSIVE INTERCONNECTS IN SYSTEM-LEVEL VERIFICATION FLOWS Author: Stefano Grivet-Talocia, Politecnico di Torino, Italy Abstract
21:02		CRAVE: AN ADVANCED CONSTRAINED RANDOM VERIFICATION ENVIRONMENT FOR SYSTEMC Authors: Finn Haedicke, Hoang M. Le, Daniel Grosse and Rolf Drechsler, Bremen U, Germany Abstract
21:02		FORMAL VERIFICATION OF UML-BASED SPECIFICATIONS Authors: Mathias Soeken, Robert Wille and Rolf Drechsler, Bremen U, Germany Abstract
21:02		COMPSOC - VIRTUAL PLATFORMS FOR ENERGY EFFICIENT EXECUTION OF MIXED TIME-CRITICALITY APPLICATIONS Authors: Anca Molnos1, Sander Stuijk2, Benny Akesson2, Andrew Nelson1, Sjoerd te Pas2, Martijn Koedam2, Radu Stefan2, Ashkan Beyranvand Nejad1 and Kees Goossens2 1Delft TU, Netherlands; 2Eindhoven TU, Netherlands Abstract
21:02		SMARTCODE - SMART ENERGY MANAGEMENT IN BUILDINGS AND ENVIRONEMENTS Authors: Christoph Grimm, Stefan Mahlknecht, Edgar Holleis and Franz Lukasch, Vienna TU, Austria Abstract
21:02		E-BIKE - RANGE PREDICTION AND OPTIMIZATION FOR E-BIKES Authors: Daniel Kriesten, Kathrin Windisch, Sebastian Kratzert, Marko Rößler, Stephan Odenwald and Ulrich Heinkel, Chemnitz TU, Germany Abstract
21:02		ZAMIACAD - APPLICATIONS FOR THE OPEN SOURCE HW DESIGN FRAMEWORK ZAMIACAD Authors: Maksim Jenihhin, Anton Chepurov, Valentin Tihhomirov, Syed Saif Abrar and Jaan Raik, Tallinn TU, Estonia Abstract
21:02		VISUALHDL: BRINGING C++ PRODUCTIVITY TO VHDL WORLD Authors: Ivan Shcherbakov, Christian de Schryver and Norbert Wehn, Kaiserslautern TU, Germany Abstract
21:02		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
21:02		ASPV - APPLICATION-SPECIFIC VECTOR CO-PROCESSOR FOR EMBEDDED DSP IN FPGAS Authors: Roman Bartosinski1, Lukas Kohout1, Jaroslav Sykora1, Martin Danek1 and Petr Honzik2 1UTIA AV CR, v.v.i., Czech Republic; 2CIP plus, s.r.o., Czech Republic Abstract
16:30		End of session