Last modified by Richard Kreissig on 2025/01/30 11:55
<
From version < 56.1 >
edited by Reinhard von Hanxleden
on 2018/01/10 17:31
To version < 59.1 >
edited by Alexander Schulz-Rosengarten
on 2018/01/29 12:41
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.rvh
1 +XWiki.als
Content
... ... @@ -216,7 +216,7 @@
216 216  )))
217 217  |(% colspan="1" %)(% colspan="1" %)
218 218  (((
219 -Di, 05.02. (+ Mi, 06.02.)
219 +Mo, 05.02. (+ Di, 06.02.)
220 220  )))|(% colspan="1" %)(% colspan="1" %)
221 221  (((
222 222  Ganztägiges Blockseminar mit Vorträgen
... ... @@ -224,11 +224,189 @@
224 224  
225 225  == Agenda des Blockseminars ==
226 226  
227 -Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines eintägigen Blockseminars stattfinden. Die Teilnahme am gesamten Seminartag ist Pflicht.
227 +Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars verteilt auf zwei Tage stattfinden. Die Teilnahme an beiden Seminartagen ist Pflicht.
228 228  
229 -**Programm folgt.
229 +Das erste Blockseminar findet am Montag, den **5. Februar 2018** im Ostseejugenddorf Falckenstein, Falkenhorst 6, 24159 Kiel-Friedrichsort statt, und zwar im Raum "Fördeblick". Bitte wetterfeste Kleidung und passendes Schuhwerk für einen Spaziergang in der Mittagspause mitbringen!\\
230 +
231 +(% class="wrapped relative-table" style="width: 71.1723%;" %)
232 +|=(((
233 +Zeit
234 +)))|=(((
235 +Tagesordnungspunkt
236 +)))
237 +|(((
238 +8:20
239 +)))|(((
240 +//Begrüßung//
241 +)))
242 +|(% colspan="1" %)(% colspan="1" %)
243 +(((
244 +8:30
245 +)))|(% colspan="1" %)(% colspan="1" %)
246 +(((
247 +LibGALS: A library for GALS systems design and modeling
248 +)))
249 +|(% colspan="1" %)(% colspan="1" %)
250 +(((
251 +9:00
252 +)))|(% colspan="1" %)(% colspan="1" %)
253 +(((
254 +Java Embedded Processors specialized for GALS Programs
255 +)))
256 +|(% colspan="1" %)(% colspan="1" %)
257 +(((
258 +9:30
259 +)))|(% colspan="1" %)(% colspan="1" %)
260 +(((
261 +Energie- und zeitabhängige synchrone Programmierung
262 +)))
263 +|(% colspan="1" %)(% colspan="1" %)
264 +(((
265 +10:00
266 +)))|(% colspan="1" %)(% colspan="1" %)
267 +(((
268 +//Kaffeepause//
269 +)))
270 +|(% colspan="1" %)(% colspan="1" %)
271 +(((
272 +10:30
273 +)))|(% colspan="1" %)(% colspan="1" %)
274 +(((
275 +A Formally Verified Compiler for Lustre
276 +)))
277 +|(% colspan="1" %)(% colspan="1" %)
278 +(((
279 +11:15
280 +)))|(% colspan="1" %)(% colspan="1" %)
281 +(((
282 +Modular Verification of Synchronous Programs
283 +)))
284 +|(% colspan="1" %)(% colspan="1" %)
285 +(((
286 +12:00
287 +)))|(% colspan="1" %)(% colspan="1" %)
288 +(((
289 +//Mittagessen//
290 +)))
291 +|(% colspan="1" %)(% colspan="1" %)
292 +(((
293 +14:00
294 +)))|(% colspan="1" %)(% colspan="1" %)
295 +(((
296 +Temporal Properties for Neuronal Archetypes using Synchronous Models
297 +)))
298 +|(% colspan="1" %)(% colspan="1" %)
299 +(((
300 +14:45
301 +)))|(% colspan="1" %)(% colspan="1" %)
302 +(((
303 +The Dynamic Synchronous Language DSL
304 +)))
305 +|(% colspan="1" %)(% colspan="1" %)
306 +(((
307 +15:30
308 +)))|(% colspan="1" %)(% colspan="1" %)
309 +(((
310 +//Kaffeepause//
311 +)))
312 +|(% colspan="1" %)(% colspan="1" %)
313 +(((
314 +16:00
315 +)))|(% colspan="1" %)(% colspan="1" %)
316 +(((
317 +WCET Semantics for Synchronous Programs
318 +)))
319 +|(% colspan="1" %)(% colspan="1" %)
320 +(((
321 +16:45
322 +)))|(% colspan="1" %)(% colspan="1" %)
323 +(((
324 +Relaxing the Synchronous Approach for Mixed-Criticality Systems
325 +)))
326 +|(% colspan="1" %)(% colspan="1" %)
327 +(((
328 +17:30
329 +)))|(% colspan="1" %)(% colspan="1" %)
330 +(((
331 +//Schlusswort//
332 +)))
333 +
230 230  **
335 +**Das zweite Blockseminar findet am Dienstag, den **6. Februar 2018** in der Uni in CAP4 R.1115 (RTSYS Labor) statt.
231 231  
337 +(% class="wrapped relative-table" style="width: 70.9928%;" %)
338 +|=(((
339 +Zeit
340 +)))|=(((
341 +Tagesordnungspunkt
342 +)))
343 +|(((
344 +10:10
345 +)))|(((
346 +//Begrüßung//
347 +)))
348 +|(((
349 +10:15
350 +)))|(((
351 +Eine Einordnung der Sprache Zélus
352 +)))
353 +|(% colspan="1" %)(% colspan="1" %)
354 +(((
355 +10:45
356 +)))|(% colspan="1" %)(% colspan="1" %)
357 +(((
358 +Symbolic Simulation of Dataflow Synchronous Programs with Timers
359 +)))
360 +|(% colspan="1" %)(% colspan="1" %)
361 +(((
362 +11:15
363 +)))|(% colspan="1" %)(% colspan="1" %)
364 +(((
365 +Synchrone Programme für Echtzeitsysteme mittels dynamischer Tickfunktionen
366 +)))
367 +|(% colspan="1" %)(% colspan="1" %)
368 +(((
369 +11:45
370 +)))|(% colspan="1" %)(% colspan="1" %)
371 +(((
372 +Synchronous-Reactive Web Programming
373 +)))
374 +|(((
375 +12:15
376 +)))|(((
377 +//Mittagessen//
378 +)))
379 +|(% colspan="1" %)(% colspan="1" %)
380 +(((
381 +13:00
382 +)))|(% colspan="1" %)(% colspan="1" %)
383 +(((
384 +ReactiveML, 10 Years Later - Ein Überblick
385 +)))
386 +|(% colspan="1" %)(% colspan="1" %)
387 +(((
388 +13:30
389 +)))|(% colspan="1" %)(% colspan="1" %)
390 +(((
391 +Reactive Languages and Complex Event Processing
392 +)))
393 +|(% colspan="1" %)(% colspan="1" %)
394 +(((
395 +14:00
396 +)))|(% colspan="1" %)(% colspan="1" %)
397 +(((
398 +Koordination mehrerer Autonomer Manager
399 +)))
400 +|(% colspan="1" %)(% colspan="1" %)
401 +(((
402 +14:30
403 +)))|(% colspan="1" %)(% colspan="1" %)
404 +(((
405 +//Schlusswort//
406 +)))
407 +
408 +\\
409 +
232 232  == Ausarbeitung, Vortrag, Review ==
233 233  
234 234  Das Seminar beinhaltet die Erstellung einer Ausarbeitung, eines Vortrags, und zweier Reviews.
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -37814306
1 +37814325
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/37814306/WS17/18 (Synchrone Sprachen)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/37814325/WS17/18 (Synchrone Sprachen)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage