Summary

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

Details

Page properties

Author

...	...	@@ -1,1 +1,1 @@
1		-XWiki.ssm
	1	+XWiki.als

Content

...	...	@@ -31,7 +31,8 @@
31	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.
	34	+//Die aktuelle Auswahl ist vorläufig!// Die Themen können bereits gewählt werden, aber bis zum Beginn des Wintersemesters wird die Liste ggf. noch erweitert.
	35	+ Die Paper werden first-come-first-serve vergeben. Ist ein Paper schon an jemanden vergeben vermerken wir das hier.
35	35
36	36	(% class="bodytext" style="text-align: left;" %)
37	37	Viele der Links werden nur aus dem Netz der Uni Kiel heraus funktionieren. Bei Problemen einfach Bescheid sagen.
...	...	@@ -57,23 +57,17 @@
57	57
58	58
59	59	(% class="bodytext" style="margin-left: 30.0px;" %)
60		-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"]].
	61	+Sun, W.-T.; Salcic, Z.; Malik, A., [[LibGALS: a library for GALS systems design and modeling>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=05419912||shape="rect"]], Proceedings of the 15th Asia South Pacific Design Automation Conference (ASP-DAC)2010:107-112.
61	61
62	62	(% class="bodytext" style="margin-left: 30.0px;" %)
63		-**Lars Viertel:** 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"]].
	64	+**Lars Viertel:** Magara, A.; Salvaneschi, G., [[Ways to react: comparing reactive languages and complex event processing>>url:http://soft.vub.ac.be/REM13/papers/rem20130_submission_5.pdf||shape="rect"]], 1st Workshop on Reactivity, Events and Modularity (REM'13). 2013.
64	64
65	65	(% class="bodytext" style="margin-left: 30.0px;" %)
66		-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"]].
	67	+Gueye, S. M.; De Palma, N.; Rutten, E.; Tchana, A., [[Coordinating multiple administration loops using discrete control>>url:http://dl.acm.org/citation.cfm?id=2553074||shape="rect"]] (language: Heptagon/BZR), ACM SIGOPS Operating Systems Review, vol. 47, issue 3, December 2013, pp. 18-25.
67	67
68	68	(% class="bodytext" style="margin-left: 30.0px;" %)
69		-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"]].
	70	+Talpin, J.-P; Brandt, J.; Gemünde, M.; Schneider, M.; Shukla, S., [[Constructive Polychronous Systems>>url:https://www.irisa.fr/prive/talpin/papers/scp14a.pdf||shape="rect"]], Logical Foundations of Computer Science. vol. 7734, 2013.
70	70
71		-(% class="bodytext" style="margin-left: 30.0px;" %)
72		-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"]].
73		-
74		-(% class="bodytext" style="margin-left: 30.0px;" %)
75		-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"]].
76		-
77	77	=== Master Empfehlung ===
78	78
79	79	(% style="margin-left: 30.0px;" %)
...	...	@@ -108,6 +108,12 @@
108	108	Brandt, J.; Schneider, K.; [[Passive code in synchronous programs>>url:http://dl.acm.org/citation.cfm?id=2544387||shape="rect"]], ACM Transactions on Embedded Computing Systems (TECS), Special Section, vol. 13 issue 2s, Jan2014, article No. 67.
109	109
110	110	(% style="margin-left: 30.0px;" %)
	106	+Attar, P.; Boussinot, F.; Mandel, L.; Susini, J.-F., [[Proposal for a Dynamic Synchronous Language>>url:http://hal.archives-ouvertes.fr/docs/00/59/04/20/PDF/dsl.pdf||shape="rect"]], INRIA, Research Proposal, 2011.
	107	+
	108	+(% style="margin-left: 30.0px;" %)
	109	+Gamatié, A.; Gonnord, L., [[Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems>>url:http://laure.gonnord.org/pro/papers/signal_boolnum_lctes2011.pdf||shape="rect"]], Conference on Languages, Compilers and Tools for Embedded Systems (ACM SIGPLAN/SIGBED), LCTES 2011:71-80.
	110	+
	111	+(% style="margin-left: 30.0px;" %)
111	111	(% class="text-black navigate" %)//
112	112	//
113	113

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-28672401
	1	+31162410

URL

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