Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:00
<
From version < 4.1 >
edited by Jette Petzold
on 2022/05/25 12:04
To version < 7.1 >
edited by Jette Petzold
on 2022/05/30 08:38
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -26,8 +26,9 @@
26 26  Alexander Schulz-Rosengarten ([[als@informatik.uni-kiel.de>>mailto:als@informatik.uni-kiel.de||shape="rect"]])
27 27  
28 28  (% style="text-align: left;" %)
29 -== Topics ==
29 += Topics =
30 30  
31 +{{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,9 +83,13 @@
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.
87 +{{/expand}}
86 86  
87 -== Schedule ==
89 += Schedule =
88 88  
91 +{{expand}}
92 +== Dates in the semester (currently not final) ==
93 +
89 89  (% class="fixed-table wrapped" %)
90 90  |=(((
91 91  Date
... ... @@ -95,7 +95,7 @@
95 95  |(((
96 96  tbd
97 97  )))|(((
98 -First Meeting/**Kick-Off **with a Latex and EasyChair introduction. The meeting will take place online via //BigBlueButton //(Room links have been sent).
103 +First Meeting/**Kick-Off **with a Latex and EasyChair introduction.
99 99  )))
100 100  |(% colspan="1" %)(% colspan="1" %)
101 101  (((
... ... @@ -102,7 +102,7 @@
102 102  tbd
103 103  )))|(% colspan="1" %)(% colspan="1" %)
104 104  (((
105 -Deadline for topic selection (via email to Jette)
110 +Deadline for topic selection (via email to Jette).
106 106  )))
107 107  |(((
108 108  tbd
... ... @@ -114,7 +114,7 @@
114 114  tbd
115 115  )))|(% colspan="1" %)(% colspan="1" %)
116 116  (((
117 -Individual feedback dates. The meetings will take place online via //BigBlueButton.//
122 +Individual feedback dates.
118 118  )))
119 119  |(% colspan="1" %)(% colspan="1" %)
120 120  (((
... ... @@ -128,7 +128,7 @@
128 128  tbd
129 129  )))|(% colspan="1" %)(% colspan="1" %)
130 130  (((
131 -(% style="color: rgb(23,43,77);" %)Individual feedback dates. The meetings will take place online via //BigBlueButton.//
136 +(% style="color: rgb(23,43,77);" %)Individual feedback dates.
132 132  )))
133 133  |(% colspan="1" %)(% colspan="1" %)
134 134  (((
... ... @@ -158,7 +158,7 @@
158 158  tbd
159 159  )))|(% colspan="1" %)(% colspan="1" %)
160 160  (((
161 -(% style="color: rgb(23,43,77);" %)Individual feedback dates on presentation slides(%%). The meetings will take place online via //BigBlueButton.//
166 +(% style="color: rgb(23,43,77);" %)Individual feedback dates on presentation slides(%%).
162 162  
163 163  The slides need to be available online or sent to the advisor beforehand (as PDF).
164 164  )))
... ... @@ -184,9 +184,11 @@
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**
192 +{{/expand}}
187 187  
188 -\\
194 += Schedule and Grading =
189 189  
196 +{{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,11 @@
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.
231 +{{/expand}}
224 224  
225 -== Technical Details ==
233 += Technical Details =
226 226  
235 +{{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,11 @@
247 247  
248 248  {{include/}}
249 249  {{/expand}}
259 +{{/expand}}
250 250  
251 -\\
261 += Resources =
252 252  
253 -== Resources ==
254 -
263 +{{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 -\\
272 +{{/expand}}
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -128745480
1 +128745485
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/128745480/WS22/23 (Synchronous Languages)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/128745485/WS22/23 (Synchronous Languages)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage