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 |
---|---|---|
10:13 | 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 | |
10:13 | CRAVE: AN ADVANCED CONSTRAINED RANDOM VERIFICATION ENVIRONMENT FOR SYSTEMC Authors: Finn Haedicke, Hoang M. Le, Daniel Grosse and Rolf Drechsler, Bremen U, Germany Abstract | |
10:13 | FORMAL VERIFICATION OF UML-BASED SPECIFICATIONS Authors: Mathias Soeken, Robert Wille and Rolf Drechsler, Bremen U, Germany Abstract | |
10:13 | 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 | |
10:13 | SMARTCODE - SMART ENERGY MANAGEMENT IN BUILDINGS AND ENVIRONEMENTS Authors: Christoph Grimm, Stefan Mahlknecht, Edgar Holleis and Franz Lukasch, Vienna TU, Austria Abstract | |
10:13 | 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 | |
10:13 | 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 | |
10:13 | VISUALHDL: BRINGING C++ PRODUCTIVITY TO VHDL WORLD Authors: Ivan Shcherbakov, Christian de Schryver and Norbert Wehn, Kaiserslautern TU, Germany Abstract | |
10:13 | 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 | |
10:13 | 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 | |