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)