Summary

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

Details

Page properties

Content

...	...	@@ -1,3 +1,5 @@
	1	+\\
	2	+
1	1	(% class="bodytext" style="text-align: left;" %)
2	2	The purpose of this seminar is to independently and scientifically work on a topic on synchronous languages and related. The goal is to summarize the topic in an oral presentation and a written elaboration in form of a paper. Another purpose of this seminar is to practice working in structured and time-driven workflows (e.g. for conferences or workshops). Moreover, both of these aspects are a good preparation for working on your thesis. We have many theses regarding these topics available; contact us if you are interested in that.
3	3
...	...	@@ -28,6 +28,7 @@
28	28	(% style="text-align: left;" %)
29	29	== Topics ==
30	30
	33	+{{expand}}
31	31	(% class="bodytext" style="text-align: left;" %)
32	32	You may choose from one of the following papers. The scope, complexity and required knowledge for these papers roughly divides them into topics for bachelor students and for master students. However, bachelor students that take great interest in a master students topic may also choose from those.
33	33
...	...	@@ -83,10 +83,17 @@
83	83
84	84	(% style="margin-left: 30.0px;" %)
85	85	(% style="color: rgb(0,51,102);" %)Guillaume Brau, Nicolas Navet, and Jérôme Hugues. 2017. [[Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139281||shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA, 168-177.
	89	+{{/expand}}
86	86
87		-== Schedule ==
	91	+\\
88	88
89		-(% class="fixed-table wrapped" %)
	93	+(% style="font-size: 20.0px;letter-spacing: -0.008em;" %)Schedule
	94	+
	95	+{{expand}}
	96	+(% style="" %)
	97	+== Dates in the semester (currently not final) ==
	98	+
	99	+(% class="fixed-table" %)
90	90	|=(((
91	91	Date
92	92	)))|=(((
...	...	@@ -184,9 +184,13 @@
184	184	Usually, the presentation of the prepared topic is held during a block seminar. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.\\
185	185
186	186	**tbd**
	197	+{{/expand}}
187	187
188	188	\\
189	189
	201	+(% style="font-size: 24.0px;letter-spacing: -0.01em;" %)Schedule and Grading
	202	+
	203	+{{expand}}
190	190	== Papers, Talks, Review ==
191	191
192	192	(% style="color: rgb(23,43,77);" %)This seminar includes creating a paper, a talk, and two reviews.
...	...	@@ -221,9 +221,13 @@
221	221	== Grades ==
222	222
223	223	This seminar is graded. The grade is based on each milestone (the different versions of the paper, the reviews, the slides, the talk). For each milestone quality, timing (see dates) are graded. Missed deadline may cause you to fail the seminar.
	238	+{{/expand}}
224	224
225		-== Technical Details ==
	240	+\\
226	226
	242	+(% style="font-size: 20.0px;letter-spacing: -0.008em;" %)Technical Details
	243	+
	244	+{{expand}}
227	227	=== LaTeX ===
228	228
229	229	Your papers should be created using LaTeX and have to be in the ACM style. You can find all necessary files in this [[archive>>attach:SS20 (Layout)@paper-template.zip]], including an example document that includes helpful LaTeX-hints to start with. Copy all files in some folder and begin to write your paper.
...	...	@@ -247,11 +247,13 @@
247	247
248	248	{{include/}}
249	249	{{/expand}}
	268	+{{/expand}}
250	250
251	251	\\
252	252
253		-== Resources ==
	272	+(% style="font-size: 20.0px;letter-spacing: -0.008em;" %)Resources
254	254
	274	+{{expand}}
255	255	In general, it is advised to look for related work in the university network since you will get access to many online libraries. We the following search engines and web pages:
256	256
257	257	* Google Scholar: [[http:~~/~~/scholar.google.de/>>url:http://scholar.google.de/||shape="rect" class="external-link"]]
...	...	@@ -260,5 +260,4 @@
260	260	* IEEE-Xplore: [[http:~~/~~/ieeexplore.ieee.org/Xplore/dynhome.jsp>>url:http://ieeexplore.ieee.org/Xplore/dynhome.jsp||shape="rect" class="external-link"]]
261	261	* ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm||shape="rect" class="external-link"]]
262	262	* Universitätsbibliothek Digitale Medien: [[http:~~/~~/www.uni-kiel.de/ub/emedien/index.html>>url:http://www.uni-kiel.de/ub/emedien/index.html||shape="rect"]]
263		-
264		-\\
	283	+{{/expand}}

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-128745482
	1	+128745484

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/128745482/WS22/23 (Synchronous Languages)
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/128745484/WS22/23 (Synchronous Languages)