Last modified by Richard Kreissig on 2025/01/30 11:55
<
From version < 58.1 >
edited by Alexander Schulz-Rosengarten
on 2018/01/29 12:41
To version < 57.1 >
edited by Alexander Schulz-Rosengarten
on 2018/01/22 09:15
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -224,189 +224,11 @@
224 224  
225 225  == Agenda des Blockseminars ==
226 226  
227 -Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars verteilt auf zwei Tage stattfinden. Die Teilnahme an beiden Seminartag ist Pflicht.
227 +Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines eintägigen Blockseminars stattfinden. Die Teilnahme am gesamten Seminartag ist Pflicht.
228 228  
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 -
229 +**Programm folgt.
334 334  **
335 -**Das zweite Blockseminar findet am Dienstag, den **6. Februar 2018** in der Uni in CAP4 R.1115 (RTSYS Labor) statt.
336 336  
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 -
410 410  == Ausarbeitung, Vortrag, Review ==
411 411  
412 412  Das Seminar beinhaltet die Erstellung einer Ausarbeitung, eines Vortrags, und zweier Reviews.
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -37814323
1 +37814322
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/37814323/WS17/18 (Synchrone Sprachen)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/37814322/WS17/18 (Synchrone Sprachen)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage