Last modified by Richard Kreissig on 2025/01/30 11:55
<
From version < 9.1 >
edited by Alexander Schulz-Rosengarten
on 2017/06/29 17:05
To version < 12.1 >
edited by Alexander Schulz-Rosengarten
on 2017/07/03 17:22
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -15,7 +15,7 @@
15 15  
16 16  (% style="text-align: left;" %)
17 17  
18 -Wir empfehlen zudem den Besuch der Blockveranstaltung **[[Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten>>url:http://univis.uni-kiel.de/form?__s=2&dsc=anew/lecture_view&lvs=techn/infor/inform/websci/winfwi&anonymous=1&dir=techn/infor/inform/websci&ref=lecture&sem=2016s&__e=986||shape="rect" class="internal-link None"]]** von Frau Peters.
18 +Wir empfehlen zudem den Besuch der Blockveranstaltung **[[Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten>>url:http://univis.uni-kiel.de/form?__s=2&dsc=anew/lecture_view&lvs=techn/infor/inform/websci/winfwi&anonymous=1&dir=techn/infor/inform/websci&ref=lecture&sem=2017w&__e=346||shape="rect"]]** von Frau Peters.
19 19  
20 20  (% style="text-align: left;" %)
21 21  == Dozenten ==
... ... @@ -40,17 +40,16 @@
40 40  === Bachelor Empfehlung ===
41 41  
42 42  (% class="bodytext" style="margin-left: 30.0px;" %)
43 +Rémy El Sibaïe and Emmanuel Chailloux. 2016. [[Synchronous-reactive web programming>>url:http://dl.acm.org/ft_gateway.cfm?id=3001931&ftid=1805607&dwn=1&CFID=781322691&CFTOKEN=53048925||shape="rect"]]. In //Proceedings of the 3rd International Workshop on Reactive and Event-Based Languages and Systems// (REBLS 2016). ACM, New York, NY, USA
44 +
45 +(% class="bodytext" style="margin-left: 30.0px;" %)
43 43  Bourke, T.; Pouzet, M., [[Zélus: a synchronous language with ODEs>>url:http://dl.acm.org/citation.cfm?id=2461348||shape="rect"]], Proceedings of the 16th international conference on Hybrid systems: computation and control, pp. 113-118, 2013. //
44 44  Dieses Paper ist etwas weniger umfangreich, dafür ist voraussichtlich deutlich mehr Arbeitsaufwand für das Hintergrundverständnis erforderlich, insbesondere für Studierende ohne Vorkenntnisse auf dem Gebiet Synchrone Sprachen.//
45 45  
46 46  (% class="bodytext" style="margin-left: 30.0px;" %)
47 -//
48 -//
50 +Nadeem, M.; Biglari-Abhari, M.; Salcic, Z., [[GALS-JOP: A Java Embedded Processor for GALS Reactive Programs>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6119095||shape="rect"]]", IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing (DASC), 2011.
49 49  
50 50  (% class="bodytext" style="margin-left: 30.0px;" %)
51 -Nadeem, M.; Biglari-Abhari, M.; Salcic, Z., "GALS-JOP: A Java Embedded Processor for GALS Reactive Programs", IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing (DASC), 2011, [[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6119095||shape="rect" class="external-link"]].
52 -
53 -(% class="bodytext" style="margin-left: 30.0px;" %)
54 54  Sun, W.-T.; Salcic, Z.; Malik, A., "LibGALS: a library for GALS systems design and modeling", Proceedings of the 15th Asia South Pacific Design Automation Conference (ASP-DAC)2010:107-112. [[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=05419912||shape="rect" class="external-link"]].
55 55  
56 56  (% class="bodytext" style="margin-left: 30.0px;" %)
... ... @@ -89,6 +89,9 @@
89 89  (% style="margin-left: 30.0px;" %)
90 90  Yip, E.; Kuo, M.; Roop. P. S., Broman, D., [[Relaxing the Synchronous Approach for Mixed-Criticality Systems>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6925993||shape="rect"]], Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Berlin, Germany, April 15-17, 2014.
91 91  
91 +(% style="margin-left: 30.0px;" %)
92 +Mendler, M, Roop, PS & Bodin, B 2016, [[A Novel WCET semantics of Synchronous Programs>>url:http://www.research.ed.ac.uk/portal/files/26473689/main.pdf||shape="rect"]]. In Formal Modeling and Analysis of Timed Systems: 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016). Lecture Notes in Computer Science (LNCS), vol. 9884, Springer International Publishing, pp. 195-210. DOI: 10.1007/978-3-319-44878-7_12
93 +
92 92  == Termine ==
93 93  
94 94  **Vorläufige Terminplanung**
... ... @@ -230,9 +230,9 @@
230 230  
231 231  * Ausarbeitung: //<login>/sem17ws-<login>.[tex/pdf]//
232 232  * Vortragsfolien: //<login>/sem17ws-<login>-talk.[tex/pdf]//
233 -* Handoutfolien - ohne Animationen, für Ausdrucke und die Proceedings: //<login>/sem17ss-<login>-handout.[tex/pdf]//
234 -* Review (generelle Anmerkungen): <login review-Empfänger>/sem17ss-<login review-Empfänger>-reviewnotes-<login Reviewer>.[pdf]
235 -* Review (annotiertes PDF): <login review-Empfänger>/sem17ws-<login review-Empfänger>-review-<login Reviewer>.[pdf] (Beispiel also: Alexander (als) reviewt die Ausarbeitung von Steven (ssm) und checkt das Review-PDF mit dem Namen sem16ss-ssm-review-als.pdf im Ordner ssm des Seminarrepositorys ein.
235 +* Handoutfolien - ohne Animationen, für Ausdrucke und die Proceedings: //<login>/sem17ws-<login>-handout.[tex/pdf]//
236 +* Review (generelle Anmerkungen): <login review-Empfänger>/sem17ws-<login review-Empfänger>-reviewnotes-<login Reviewer>.[pdf]
237 +* Review (annotiertes PDF): <login review-Empfänger>/sem17ws-<login review-Empfänger>-review-<login Reviewer>.[pdf] (Beispiel also: Alexander (als) reviewt die Ausarbeitung von Steven (ssm) und checkt das Review-PDF mit dem Namen sem17ws-ssm-review-als.pdf im Ordner ssm des Seminarrepositorys ein.
236 236  
237 237  Anmerkung: Die Handoutfolien unterscheiden sich von den Vortragsfolien dadurch, dass die Handoutfolien keine Animationen für die Präsentation am Beamer enthalten. Beim Arbeiten mit der latex-beamer Klasse können Handoutfolien durch das Hinzufügen eines optionalen Argumentes bei der Deklaration der Dokumentenklasse generiert werden ("\documentclass[trans]{beamer}").
238 238  
... ... @@ -250,7 +250,7 @@
250 250  * Wir benutzen [[pdflatex>>url:http://de.wikipedia.org/wiki/PdfLaTeX||shape="rect" class="external-link"]] (erstellt PDF Dateien) und nicht direkt latex (erstellt DVI Dateien)
251 251  ** sind im Prinzip gleich zu benutzen
252 252  ** Hauptunterschied ist die Einbindung von Grafiken. In pdflatex siehe z.B. [[http:~~/~~/latex.mschroeder.net/#grafiken>>url:http://latex.mschroeder.net/#grafiken||shape="rect" class="external-link"]] (Es sollte immer eine komplette figure Umgebung mit caption, label und Referenz im Text benutzt werden!)
253 -** Von der Kommandozeile aus kann ein pdf mit "rubber -d sem15ss-<login>" erstellt werden (rubber ruft automatisch pdflatex und bibtex auf).
255 +** Von der Kommandozeile aus kann ein pdf mit "rubber -d sem17ws-<login>" erstellt werden (rubber ruft automatisch pdflatex und bibtex auf).
254 254  * (((
255 255  Bibliographie: Siehe [[ACM Beispiel>>url:http://www.acm.org/sigs/publications/proceedings-templates||shape="rect" class="external-link"]] (hier werden die Bibliographielemente in eine eigene *.bib Datei ausgelagert). Manuell wird dann einmal //pdflatex dokument.tex// aufgerufen. Dies erzeugt eine dokument.aux Datei. Darauf wird //bibtex dokument.aux// aufgerufen und dann nochmal zweimal //pdflatex dokument.tex//. Erst dann sind die Bibliographieelemente richtig im pdf-file.
256 256  )))
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -28672322
1 +28672347
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672322/WS17/18 (Synchrone Sprachen)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672347/WS17/18 (Synchrone Sprachen)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage