Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

...	...	@@ -28,11 +28,40 @@
28	28	== Themen ==
29	29
30	30	(% class="bodytext" style="text-align: left;" %)
31		-Zur Verfügung stehen die folgenden Paper verschiedenen Themenbereichen.
	31	+Zur Verfügung stehen die folgenden Paper. Sie sind grob in Master- und Bachelor-Themen eingeteilt, anhand von Umfang, Komplexität und benötigtem Vorwissen. Dies soll aber nicht davon abhalten bei überwältigendem Interesse auch als Bachelor ein Master-Thema zu bearbeiten.
32	32
33	33	(% class="bodytext" style="text-align: left;" %)
	34	+**Die aktuelle Auswahl ist nur vorläufig!** Sie soll einen Einblick in die späteren Themen bieten und wird noch bis zur Vergabe der Seminarplätze erweitert.
	35	+
	36	+(% class="bodytext" style="text-align: left;" %)
34	34	Viele der Links werden nur aus dem Netz der Uni Kiel heraus funktionieren. Bei Problemen einfach Bescheid sagen.
35	35
	39	+(% class="bodytext" style="text-align: left;" %)
	40	+=== Bachelor Empfehlungen ===
	41	+)))
	42	+
	43	+(((
	44	+(% class="bodytext" %)
	45	+=== Master Empfehlungen ===
	46	+
	47	+1. Yip, E.; Kuo, M.; Roop. P. S., Broman, D., "Relaxing the Synchronous Approach for Mixed-Criticality Systems", Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Berlin, Germany, April 15-17, 2014. [[PDF hier>>url:http://www.bromans.com/publ/yip-et-al-2014-relaxing-synchronous-mixed-criticality.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]] (author prepared accepted version).
	48	+1. 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"]].
	49	+1. 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"]].
	50	+1. 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.
	51	+//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.//
	52	+1. Magara, A.; Salvaneschi, G., "Ways to react: comparing reactive languages and complex event processing", 1st Workshop on Reactivity, Events and Modularity (REM'13). 2013. [[PDF hier>>url:http://soft.vub.ac.be/REM13/papers/rem20130_submission_5.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]].
	53	+1. Gueye, S. M.; De Palma, N.; Rutten, E.; Tchana, A., "Coordinating multiple administration loops using discrete control" (language: Heptagon/BZR), ACM SIGOPS Operating Systems Review, vol. 47, issue 3, December 2013, pp. 18-25. [[PDF hier>>url:http://dl.acm.org/citation.cfm?id=2553074||shape="rect" class="external-link"]].
	54	+1. Gesell, M.; Schneider, K., "Modular verification of synchronous programs", Application of Concurrency to System Design (ACSD), 2013 13th International Conference on, pp. 70, 79, 8-10 Juli 2013, [[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6598342||shape="rect" class="external-link"]].
	55	+1. Shaver, C.; Lee, E.A., "The coroutine model of computation", Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems 2012 (MODELS'12), pp. 319-334. [[PDF hier>>url:http://chess.eecs.berkeley.edu/pubs/902/coroutineModelsWithProof.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]]. Die Bearbeitung dieses Themas sollte sich auch mit ev. aktuellen Weiterentwicklungen beschäftigen, siehe z.B. den Vortrag von Chris Shaver beim Synchronworkshop 2013: [[Slides>>url:http://www.dagstuhl.de/mat/Files/13/13471/13471.ShaverChris.Slides.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]] und die [[Homepage>>url:http://www.eecs.berkeley.edu/%7Eshaver/index.html?page=research||shape="rect" class="MIME-text MIME--html external-link"]] des Autors.
	56	+1. Attar, P.; Boussinot, F.; Mandel, L.; Susini, J.-F., "Proposal for a Dynamic Synchronous Language", INRIA, Research Proposal, 2011. [[PDF hier>>url:http://hal.archives-ouvertes.fr/docs/00/59/04/20/PDF/dsl.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]].
	57	+1. Gamatié, A.; Gonnord, L., "Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems", Conference on Languages, Compilers and Tools for Embedded Systems (ACM SIGPLAN/SIGBED), LCTES 2011:71-80. [[PDF hier>>url:http://laure.gonnord.org/pro/papers/signal_boolnum_lctes2011.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]].
	58	+1. Talpin, J.-P; Brandt, J.; Gemünde, M.; Schneider, M.; Shukla, S., "Constructive Polychronous Systems", Logical Foundations of Computer Science. vol. 7734, 2013. [[PDF hier>>url:http://hal.inria.fr/hal-00763371/||shape="rect" class="external-link"]].
	59	+1. Brandt, J.; Schneider, K.; "Passive code in synchronous programs", ACM Transactions on Embedded Computing Systems (TECS), Special Section, vol. 13 issue 2s, Jan2014, article No. 67. [[PDF hier>>url:http://dl.acm.org/citation.cfm?id=2555770||shape="rect" class="external-link"]].
	60	+)))
	61	+
	62	+(((
	63	+\\
	64	+
36	36	== Termine ==
37	37
38	38	(% class="wrapped" %)
...	...	@@ -170,11 +170,11 @@
170	170
171	171	Die Namen für die Dateien, die im Git abzulegen sind, sollen wie folgt (gleichartig) aufgebaut sein. **Bitte halten Sie sich** **von Anfang an an diese Namenskonventionen.** Das vermeidet unnötige Sucherei, bewahrt uns vor späteren Schwierigkeiten mit automatischen Skripten und macht umständliches Umbenennen überflüssig.
172	172
173		-* Ausarbeitung: //<login>/sem16ws-<login>.[tex/pdf]//
174		-* Vortragsfolien: //<login>/sem16ws-<login>-talk.[tex/pdf]//
175		-* Handoutfolien - ohne Animationen, für Ausdrucke und die Proceedings: //<login>/sem16ss-<login>-handout.[tex/pdf]//
176		-* Review (generelle Anmerkungen): <login review-Empfänger>/sem16ss-<login review-Empfänger>-reviewnotes-<login Reviewer>.[pdf]
177		-* Review (annotiertes PDF): <login review-Empfänger>/sem16ws-<login review-Empfänger>-review-<login Reviewer>.[pdf] (Beispiel also: Ulf (uru) reviewt die Ausarbeitung von Nis (nbw) und checkt das Review-PDF mit dem Namen sem16ss-nbw-review-uru.pdf im Ordner uru des Seminarrepositorys ein.
	202	+* Ausarbeitung: //<login>/sem17ws-<login>.[tex/pdf]//
	203	+* Vortragsfolien: //<login>/sem17ws-<login>-talk.[tex/pdf]//
	204	+* Handoutfolien - ohne Animationen, für Ausdrucke und die Proceedings: //<login>/sem17ss-<login>-handout.[tex/pdf]//
	205	+* Review (generelle Anmerkungen): <login review-Empfänger>/sem17ss-<login review-Empfänger>-reviewnotes-<login Reviewer>.[pdf]
	206	+* 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.
178	178
179	179	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}").
180	180
...	...	@@ -186,7 +186,7 @@
186	186
187	187	* Reichlich Dokumentation zum //Git// Source Code Management System findet man unter [[http:~~/~~/www.git-scm.com/>>url:http://www.git-scm.com/||shape="rect" class="external-link"]].
188	188	* Für den Zugriff auf das Repository müssen wir Sie in unserem [[ Bitbucket>>url:https://git.rtsys.informatik.uni-kiel.de||shape="rect" class="None internal-link None"]]  dafür freischalten. Das sollten wir anhand der Teilnehmerliste prima tun können. Falls Sie keinen Zugriff auf das Repository bekommen, schreiben Sie uns eine E-Mail.
189		-* Git-Repository auschecken: git clone  [[ssh:~~/~~/git@git.rtsys.informatik.uni-kiel.de:7999/sem/16ws-layout.git>>url:ssh://git@git.rtsys.informatik.uni-kiel.de:7999/sem/16ws-layout.git||shape="rect"]]\\
	218	+* Git-Repository auschecken: git clone  [[ssh:~~/~~/git@git.rtsys.informatik.uni-kiel.de:7999/sem/17ws-synch.git>>url:ssh://git@git.rtsys.informatik.uni-kiel.de:7999/sem/17ws-synch.git||shape="rect"]]\\
190	190	** Um die Erstellung der Proceedings zu erleichtern, richten Sie sich bitte nach den oben beschriebenen Namenskonventionen.
191	191	* [[ACM Style>>url:http://www.acm.org/sigs/pubs/proceed/template.html||shape="rect" class="external-link"]] in [[deutscher>>url:https://www.informatik.uni-kiel.de/fileadmin/arbeitsgruppen/realtime_embedded/teaching/ws0910/s-conc/acm_proc_article-sp-german.cls||shape="rect"]] oder [[englischer>>url:https://www.informatik.uni-kiel.de/fileadmin/arbeitsgruppen/realtime_embedded/teaching/ws0910/s-conc/acm_proc_article-sp.cls||shape="rect"]] Version. Im Git Repository befinden sich im Unterverzeichnis //init/ //eine Reihe von Dateien, welche Sie als Vorlage nehmen können (siehe //README.txt//).
192	192	* 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)

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-28672313
	1	+28672319

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672313/WS17/18 (Synchrone Sprachen)
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672319/WS17/18 (Synchrone Sprachen)