Date: Wednesday 20 March 2013
Time: 11:00 - 12:30
Location / Room: Les Bans
Chair:
Wang Yi', Uppsala University, SE
Co-Chair:
Saddek Bensalem, Verimag, FR
This session includes four papers. The first and the third papers present two different techniques to solve design optimization problems for systems with multiple conflicting constraints on timing, buffer, and energy. The second and the last papers address issues on performance bottlenecks and weakly real-time guarantees in multi-core systems as well as real-time systems in the presents of sporadic workload bursts.
| Time | Label | Presentation Title Authors |
|---|---|---|
| 11:00 | 6.7.1 | (Best Paper Award Candidate) A SATISFIABILITY APPROACH TO SPEED ASSIGNMENT FOR DISTRIBUTED REAL-TIME SYSTEMS Authors: Pratyush Kumar, Devesh B. Chokshi and Lothar Thiele, ETH Zurich, CH Abstract |
| 11:30 | 6.7.2 | DATA MINING MPSOC SIMULATION TRACES TO IDENTIFY CONCURRENT MEMORY ACCESS PATTERNS Authors: Sofiane Lagraa, Alexandre Termier and Frédéric Pétrot, Grenoble Institute of Technology, FR Abstract |
| 12:00 | 6.7.3 | MODEL-BASED ENERGY OPTIMIZATION OF AUTOMOTIVE CONTROL SYSTEMS Authors: Joost-Pieter Katoen1, Thomas Noll1, Thomas Santen2, Dirk Seifert2 and Hao Wu1 1RWTH Aachen University, DE; 2Microsoft Research, DE Abstract |
| 12:15 | 6.7.4 | FORMAL ANALYSIS OF SPORADIC BURSTS IN REAL-TIME SYSTEMS Authors: Sophie Quinton, Mircea Negrean and Rolf Ernst, TU Braunschweig, DE 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) |