Summary

• Page properties (1 modified, 0 added, 0 removed)
• Attachments (0 modified, 1 added, 1 removed)
  • agenda_anonym.pdf
  • agenda.pdf

Details

Page properties

Content

...	...	@@ -96,7 +96,7 @@
96	96	Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, and Michael Carbin. 2020. [[Reactive probabilistic programming>>url:https://dl.acm.org/doi/10.1145/3385412.3386009||shape="rect"]]. In //Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation// (//PLDI 2020//)
97	97
98	98	(% style="margin-left: 30.0px;" %)
99		-Evgeny Kusmenko, Bernhard Rumpe, Sascha Schneiders, and Michael von Wenckstern. 2018. [[Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc>>url:https://dl.acm.org/citation.cfm?id=3239388||shape="rect"]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems// (MODELS '18). ACM, New York, NY, USA, 447-457.
	99	+**[assigned]** Evgeny Kusmenko, Bernhard Rumpe, Sascha Schneiders, and Michael von Wenckstern. 2018. [[Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc>>url:https://dl.acm.org/citation.cfm?id=3239388||shape="rect"]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems// (MODELS '18). ACM, New York, NY, USA, 447-457.
100	100
101	101	(% style="margin-left: 30.0px;" %)
102	102	Kenwright, L., Roop, P.S., Allen, N., Lall, S., Cascaval, C., Spalink, T., & Izzard, M. (2024). [[Logical Synchrony Networks: A formal model for deterministic distribution>>https://arxiv.org/abs/2402.07433]]. //ArXiv, abs/2402.07433//.
...	...	@@ -209,13 +209,9 @@
209	209
210	210	== The Final Presentations ==
211	211
212		-The presentation of the prepared topic is held during a block seminar at **CAP4 R. 1304a**. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.
	212	+The presentation of the prepared topic is held during a block seminar at **tbd**. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.
213	213
214		-=== Agenda ===
215	215
216		-[[Here>>attach:agenda_anonym.pdf]] the agenda as PDF.
217		-
218		-
219	219	= Schedule and Grading =
220	220
221	221	== Papers, Talks, Review ==
...	...	@@ -247,8 +247,6 @@
247	247
248	248	It is not possible to add files in the EasyChair review form. Therefore, it is not possible to add an annotated pdf as detailed correction.
249	249
250		-Some example reviews from a previous semester to understand the form (not necessarily with the best grades) can be found in here: [[1>>path:/bin/download/Seminars/SS23%20%28Embedded%20Real-Time%20Systems%29/WebHome/review1.txt?rev=1.2]] [[2>>path:/bin/download/Seminars/SS23%20%28Embedded%20Real-Time%20Systems%29/WebHome/review2.txt?rev=1.2]] [[3>>path:/bin/download/Seminars/SS23%20%28Embedded%20Real-Time%20Systems%29/WebHome/review3.txt?rev=1.2]] [[4>>path:/bin/download/Seminars/SS23%20%28Embedded%20Real-Time%20Systems%29/WebHome/review4.txt?rev=1.2]] [[5>>path:/bin/download/Seminars/SS23%20%28Embedded%20Real-Time%20Systems%29/WebHome/review5.txt?rev=1.2]].
251		-
252	252	The reviews are assigned after the review-version deadline and are based on the submitted version of the papers.
253	253
254	254	== Grades ==
...	...	@@ -259,7 +259,7 @@
259	259
260	260	=== LaTeX ===
261	261
262		-Your papers should be created using LaTeX and have to be in the provided ACM style. You can find all necessary files in this [[zip archive>>https://cloud.rz.uni-kiel.de/index.php/s/PpmFxJtxYqF2GaX]], including an example document that includes helpful LaTeX-hints to start with. Copy all files in some folder and begin to write your paper.
	256	+Your papers should be created using LaTeX and have to be in the provided 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.
263	263
264	264	LaTeX can create a bibliography (it includes scientific publications, which are referenced to prove statements) too. The example includes a file named {{code language="none"}}myrefs.bib{{/code}}, which holds the references. ACM provides a short overview with [[examples>>url:https://www.acm.org/publications/authors/bibtex-formatting||shape="rect"]] of bibliography entries.
265	265

agenda_anonym.pdf

Author

...	...	@@ -1,1 +1,0 @@
1		-XWiki.jep

Size

...	...	@@ -1,1 +1,0 @@
1		-118.9 KB

Content

agenda.pdf

Author

...	...	@@ -1,0 +1,1 @@
	1	+XWiki.jep

Size

...	...	@@ -1,0 +1,1 @@
	1	+44.5 KB

Content