Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:00
<
From version < 3.1 >
edited by Jette Petzold
on 2022/05/25 11:15
To version < 6.1 >
edited by Jette Petzold
on 2022/05/30 08:35
>
Change comment: There is no comment for this version

Summary

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,14 +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 -{{note title="Access to Online Meetings"}}
90 -All registered participants have received a link via the seminar's mailing list. If you did not get the link, please contact Jette.
91 -{{/note}}
93 +(% style="font-size: 20.0px;letter-spacing: -0.008em;" %)Schedule
92 92  
93 -(% class="fixed-table wrapped" %)
95 +{{expand}}
96 +(% style="" %)
97 +== Dates in the semester (currently not final) ==
98 +
99 +(% class="fixed-table" %)
94 94  |=(((
95 95  Date
96 96  )))|=(((
... ... @@ -99,7 +99,7 @@
99 99  |(((
100 100  tbd
101 101  )))|(((
102 -First Meeting/**Kick-Off **with a Latex and EasyChair introduction. The meeting will take place online via //BigBlueButton //(Room links have been sent).
108 +First Meeting/**Kick-Off **with a Latex and EasyChair introduction.
103 103  )))
104 104  |(% colspan="1" %)(% colspan="1" %)
105 105  (((
... ... @@ -106,7 +106,7 @@
106 106  tbd
107 107  )))|(% colspan="1" %)(% colspan="1" %)
108 108  (((
109 -Deadline for topic selection (via email to Jette)
115 +Deadline for topic selection (via email to Jette).
110 110  )))
111 111  |(((
112 112  tbd
... ... @@ -118,7 +118,7 @@
118 118  tbd
119 119  )))|(% colspan="1" %)(% colspan="1" %)
120 120  (((
121 -Individual feedback dates. The meetings will take place online via //BigBlueButton.//
127 +Individual feedback dates.
122 122  )))
123 123  |(% colspan="1" %)(% colspan="1" %)
124 124  (((
... ... @@ -132,7 +132,7 @@
132 132  tbd
133 133  )))|(% colspan="1" %)(% colspan="1" %)
134 134  (((
135 -(% style="color: rgb(23,43,77);" %)Individual feedback dates. The meetings will take place online via //BigBlueButton.//
141 +(% style="color: rgb(23,43,77);" %)Individual feedback dates.
136 136  )))
137 137  |(% colspan="1" %)(% colspan="1" %)
138 138  (((
... ... @@ -162,7 +162,7 @@
162 162  tbd
163 163  )))|(% colspan="1" %)(% colspan="1" %)
164 164  (((
165 -(% style="color: rgb(23,43,77);" %)Individual feedback dates on presentation slides(%%). The meetings will take place online via //BigBlueButton.//
171 +(% style="color: rgb(23,43,77);" %)Individual feedback dates on presentation slides(%%).
166 166  
167 167  The slides need to be available online or sent to the advisor beforehand (as PDF).
168 168  )))
... ... @@ -188,9 +188,13 @@
188 188  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.\\
189 189  
190 190  **tbd**
197 +{{/expand}}
191 191  
192 192  \\
193 193  
201 +(% style="font-size: 24.0px;letter-spacing: -0.01em;" %)Schedule and Grading
202 +
203 +{{expand}}
194 194  == Papers, Talks, Review ==
195 195  
196 196  (% style="color: rgb(23,43,77);" %)This seminar includes creating a paper, a talk, and two reviews.
... ... @@ -225,9 +225,13 @@
225 225  == Grades ==
226 226  
227 227  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}}
228 228  
229 -== Technical Details ==
240 +\\
230 230  
242 +(% style="font-size: 20.0px;letter-spacing: -0.008em;" %)Technical Details
243 +
244 +{{expand}}
231 231  === LaTeX ===
232 232  
233 233  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.
... ... @@ -251,11 +251,13 @@
251 251  
252 252  {{include/}}
253 253  {{/expand}}
268 +{{/expand}}
254 254  
255 255  \\
256 256  
257 -== Resources ==
272 +(% style="font-size: 20.0px;letter-spacing: -0.008em;" %)Resources
258 258  
274 +{{expand}}
259 259  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:
260 260  
261 261  * Google Scholar: [[http:~~/~~/scholar.google.de/>>url:http://scholar.google.de/||shape="rect" class="external-link"]]
... ... @@ -264,5 +264,4 @@
264 264  * IEEE-Xplore: [[http:~~/~~/ieeexplore.ieee.org/Xplore/dynhome.jsp>>url:http://ieeexplore.ieee.org/Xplore/dynhome.jsp||shape="rect" class="external-link"]]
265 265  * ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm||shape="rect" class="external-link"]]
266 266  * 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"]]
267 -
268 -\\
283 +{{/expand}}
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -128745478
1 +128745484
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/128745478/WS22/23 (Synchronous Languages)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/128745484/WS22/23 (Synchronous Languages)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage