-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathprogram.html
234 lines (201 loc) · 9.33 KB
/
program.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
<?xml version="1.0" encoding="utf-8" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
<title>EMSOFT 2007</title>
<link href="emsoft.css" rel="stylesheet" type="text/css"/>
</head>
<body>
<div class="all">
<!-- -->
<div id="header">
<img src="emsoft.jpg" alt="Salzburg"/>
</div>
<!-- -->
<div class="left">
<ul>
<li class="leftlink">
<a href="emsoft07.html">Overview</a>
</li>
<li class="leftlink">
<a href="esweek.html">ESWEEK/Workshops</a>
</li>
<li class="leftlink">
<a href="program.html">Programme</a>
</li>
<li class="leftlink">
<a href="dates.html">Dates</a>
</li>
<li class="leftlink">
<a href="PC.html">Committee</a>
</li>
<li class="leftlink">
<a href="http://www.ida.liu.se/conferences/codes/esweek//ESWEEK%202007%20Call%20for%20Participation.txt">Call for participation</a>
</li>
</ul>
</div>
<!-- -->
<div class="main">
<h1>Programme</h1>
<h2>Monday (Oct. 01)</h2>
<ul style="list-style-type:square">
<li>
<p><strong>09:00–10:00</strong></p>
<ul>
<li><p><strong>EMSOFT Keynote</strong><br/>
Jane Liu:<br/>
<em>User-Centered Approach for Semi-Automatic, Assistive Devices and Systems</em></p>
</li></ul></li>
<li><p><strong>10:30–12:00</strong><br/>
Chair: Bengt Jonsson</p>
<ul>
<li><p>Simon Bliudze and Joseph Sifakis:<br/>
<em>The Algebra of Connectors --- Structuring Interaction in BIP</em></p></li>
<li><p>Alessandro Pinto, Luca Carloni and Alberto Sangiovanni-Vincentelli:<br/>
<em>A Communication Synthesis Infrastructure for Heterogeneous Networked Control Systems and Its Application to Building Automation and Control</em></p></li>
<li><p>David Monniaux:<br/>
<em>Verification of device drivers and intelligent controllers: a case study</em></p></li>
</ul>
</li>
<li><p><strong>13:30–15:30</strong><br/>
Chair: Lothar Thiele</p>
<ul>
<li><p>Ruibin Xu, Rami Melhem and Daniel Mosse:<br/>
<em>A Unified Practical Approach to Stochastic DVS Scheduling</em></p></li>
<li><p>Emiliano Dolif, Michele Lombardi, Martino Ruggiero, Michela Milano and Luca Benini:<br/>
<em>Communication-Aware Stochastic Allocation and Scheduling Framework for Conditional Task Graphs in Multi-Processor Systems-on-Chip</em></p></li>
<li><p>Orlando Moreira, Frederico Valente and Marco Bekooij:<br/>
<em>Scheduling Multiple Independent Hard-Real-Time Jobs on a Heterogeneous Multiprocessor</em></p></li>
<li><p>Luis Almeida, Madhukar Anand, Sebastian Fischmeister and Insup Lee:<br/>
<em>A Dynamic Scheduling Approach to Designing Flexible Safety-Critical Systems</em></p></li>
</ul>
</li>
<li><p><strong>16:00–18:00</strong><br/>
Chair: Y. N. Srikant</p>
<ul>
<li><p>Haifeng He, Saumya Debray and Gregory Andrews:<br/>
<em>The Revenge of the Overlay: Automatic Compaction of OS Kernel Code via On-Demand Code Loading</em></p></li>
<li><p>David Snowdon, Stefan Petters and Gernot Heiser:<br/>
<em>The effect of frequency scaling on system energy consumption</em></p></li>
<li><p>Jiwon Hahn and Pai Chou:<br/>
<em>Buffer Optimization and Dispatching Scheme for Embedded Systems with Behavioral Transparency</em></p></li>
<li><p>Arne Hamann, Razvan Racu and Rolf Ernst:<br/>
<em>Methods for Multi-Dimensional Robustness Optimization in Complex Embedded Systems</em></p></li>
</ul>
</li>
<li><p><strong>18:00</strong><br/>
<strong>Panel: Grand Challenges in Embedded Software</strong></p>
<ul>
<li><em>Participants:</em>
Gilbert Edelin, Gernot Heiser, Edward A. Lee,
Jaejin Lee, Joseph Sifakis, Lothar Thiele
</li>
<li><em>Moderator:</em> Reinhard Wilhelm
</li>
</ul>
</li>
</ul>
<h2>Tuesday (Oct. 02)</h2>
<ul style="list-style-type:square">
<li><p><strong>09:00–10:00</strong></p>
<ul>
<li><p><strong>CODES+ISSS Keynote</strong><br/>
Hermann Eul:<br/>
<em>Complexity Challenges towards 4th Generation Communication Solutions</em></p></li>
</ul></li>
<li><p><strong>10:30–12:00</strong><br/>
Chair: Albert Benveniste</p>
<ul>
<li><p>Edward A. Lee and Haiyang Zheng:<br/>
<em>Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded Systems</em></p></li>
<li><p>Dumitru Potop-Butucaru, Robert de Simone and Yves Sorel:<br/>
<em>Necessary and sufficient conditions for deterministic desynchronization</em></p></li>
<li><p>Nicolas Halbwachs, Erwan Jahier, Pascal Raymond and David Lesens:<br/>
<em>Virtual execution of AADL models via a translation into synchronous programs</em></p></li>
</ul>
</li>
<li><p><strong>13:30–15:30</strong><br/>
Chair: Gernot Heiser</p>
<ul>
<li><p>Dongwon Kang, Dawoon Jung, Jeong-Uk Kang and Jin-Soo Kim:<br/>
<em>mu-Tree : An Ordered Index Structure for NAND Flash Memory</em></p></li>
<li><p>Seungjae Baek, Seongjun Ahn, Jongmoo Choi, Donghee Lee and Sam H. Noh:<br/>
<em>Uniformity Improving Page Allocation for Flash Memory File Systems</em></p></li>
<li><p>In Hwan Doh, Jongmoo Choi, Donghee Lee and Sam H. Noh:<br/>
<em>Exploiting Non-Volatile RAM to Enhance Flash File System Performance</em></p></li>
<li><p>Jongmin Lee, Sunghoon Kim, Hunki Kwon, Choulseung Hyun, Seongjun Ahn, Jongmoo Choi, Donghee Lee and Sam H. Noh:<br/>
<em>Block recycling schemes and their cost-based optimization in NAND Flash memory based storage system</em></p></li>
</ul>
</li>
<li><p><strong>16:00–18:00</strong><br/>
Chair: Jaejin Lee</p>
<ul>
<li><p>Gabor Madl, Nikil Dutt and Sherif Abdelwahed:<br/>
<em>Performance Estimation of Distributed Real-time Embedded Systems by Discrete Event Simulations</em></p></li>
<li><p>Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst and Michael González Harbour:<br/>
<em>Influence of different system abstractions on the performance analysis of distributed real-time systems</em></p></li>
<li><p>Rathijit Sen and Y. N. Srikant:<br/>
<em>WCET Estimation for Executables in the presence of Data Caches</em></p></li>
<li><p>Changhee Jung, Duk-Kyun Woo, Kanghee Kim and Sung-Soo Lim:<br/>
<em>Performance Characterization of Prelinking and Preloading for Embedded Systems</em></p></li>
</ul>
</li>
</ul>
<h2>Wednesday (Oct. 03)</h2>
<ul style="list-style-type:square">
<li><p><strong>09:00–10:00</strong></p>
<ul>
<li><p><strong>CASES Keynote</strong><br/>
Trevor Mudge:<br/>
<em>Multicore Architectures</em></p></li>
</ul></li>
<li><p><strong>10:30–12:00</strong><br/>
Chair: Christoph Kirsch</p>
<ul>
<li><p>Roumen Kaiabachev, Walid Taha and Angela Zhu:<br/>
<em>E-FRP With Priorities</em></p></li>
<li><p>Albert Benveniste, Paul Caspi, Marco di Natale, Claudio Pinello, Alberto Sangiovanni-Vincentelli and Stavros Tripakis:<br/>
<em>Loosely Time-Triggered Architectures and Middleware based on Communication-by-Sampling: MoCC and Properties</em></p></li>
<li><p>Vijay D'silva, Sampada Sonalkar and Ramesh S:<br/>
<em>Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations</em></p></li>
</ul>
</li>
<li><p><strong>13:30–15:30</strong><br/>
Chair: Stewart Tansley</p>
<ul>
<li><p>Joshua Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart and Mark Stoodley:<br/>
<em>Design and Implementation of a Comprehensive Real-time Java Virtual Machine</em></p></li>
<li><p>Sebastian Altmeyer and Gernot Gebhard:<br/>
<em>Optimal Task Placement to Improve Cache Performance</em></p></li>
<li><p>Michael Roitzsch:<br/>
<em>Slice-Balancing H.264 Video Encoding for Improved Scalability of Multicore Decoding</em></p></li>
<li><p>Moris Behnam, Insik Shin, Thomas Nolte and Mikael Nolin:<br/>
<em>A Synchronization Protocol for Hierarchical Resource Sharing in Real-Time Open Systems</em></p></li>
</ul>
</li>
<li><p><strong>16:00</strong><br/>
<strong>Panel: Automotive Networks — Are New Busses and Gateways
the Answer or Just Another Challenge?</strong></p>
<ul>
<li><em>Participants:</em>
Gernot Spiegelberg, Thomas Weber, Hermann Kopetz,
Alberto Sangiovanni-Vincentelli, Marek Jersak
</li>
<li><em>Moderator:</em> Rolf Ernst
</li>
</ul>
</li>
<li><p><strong>17:30</strong><br/>
Closing</p>
</li>
</ul>
</div>
<!-- -->
<div class="down">
<p>© 2007 by EMSOFT 2007, <a href="mailto:phlucas@cs.uni-sb.de">Philipp Lucas</a>, 2007</p>
</div>
</div>
</body>
</html>