Last modified by Richard Kreissig on 2025/01/30 11:55
<
From version < 8.1 >
edited by Alexander Schulz-Rosengarten
on 2017/06/29 16:39
To version < 9.1 >
edited by Alexander Schulz-Rosengarten
on 2017/06/29 17:05
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -37,10 +37,15 @@
37 37  Viele der Links werden nur aus dem Netz der Uni Kiel heraus funktionieren. Bei Problemen einfach Bescheid sagen.
38 38  )))
39 39  
40 -(((
40 +=== Bachelor Empfehlung ===
41 +
41 41  (% class="bodytext" style="margin-left: 30.0px;" %)
43 +Bourke, T.; Pouzet, M., [[Zélus: a synchronous language with ODEs>>url:http://dl.acm.org/citation.cfm?id=2461348||shape="rect"]], Proceedings of the 16th international conference on Hybrid systems: computation and control, pp. 113-118, 2013. //
44 +Dieses Paper ist etwas weniger umfangreich, dafür ist voraussichtlich deutlich mehr Arbeitsaufwand für das Hintergrundverständnis erforderlich, insbesondere für Studierende ohne Vorkenntnisse auf dem Gebiet Synchrone Sprachen.//
42 42  
43 -Yip, E.; Kuo, M.; Roop. P. S., Broman, D., "Relaxing the Synchronous Approach for Mixed-Criticality Systems", Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Berlin, Germany, April 15-17, 2014. [[PDF hier>>url:http://www.bromans.com/publ/yip-et-al-2014-relaxing-synchronous-mixed-criticality.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]] (author prepared accepted version).
46 +(% class="bodytext" style="margin-left: 30.0px;" %)
47 +//
48 +//
44 44  
45 45  (% class="bodytext" style="margin-left: 30.0px;" %)
46 46  Nadeem, M.; Biglari-Abhari, M.; Salcic, Z., "GALS-JOP: A Java Embedded Processor for GALS Reactive Programs", IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing (DASC), 2011, [[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6119095||shape="rect" class="external-link"]].
... ... @@ -49,10 +49,6 @@
49 49  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"]].
50 50  
51 51  (% class="bodytext" style="margin-left: 30.0px;" %)
52 -Bourke, T.; Pouzet, M., [[Zélus: a synchronous language with ODEs>>url:http://dl.acm.org/citation.cfm?id=2461348||shape="rect"]], Proceedings of the 16th international conference on Hybrid systems: computation and control, pp. 113-118, 2013. //
53 -Dieses Paper ist etwas weniger umfangreich, dafür ist voraussichtlich deutlich mehr Arbeitsaufwand für das Hintergrundverständnis erforderlich, insbesondere für Studierende ohne Vorkenntnisse auf dem Gebiet Synchrone Sprachen.//
54 -
55 -(% class="bodytext" style="margin-left: 30.0px;" %)
56 56  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"]].
57 57  
58 58  (% class="bodytext" style="margin-left: 30.0px;" %)
... ... @@ -75,11 +75,19 @@
75 75  
76 76  (% class="bodytext" style="margin-left: 30.0px;" %)
77 77  Brandt, J.; Schneider, K.; "Passive code in synchronous programs", ACM Transactions on Embedded Computing Systems (TECS), Special Section, vol. 13 issue 2s, Jan2014, article No. 67. [[PDF hier>>url:http://dl.acm.org/citation.cfm?id=2555770||shape="rect" class="external-link"]].
78 -)))
79 79  
80 -(((
81 -\\
80 +(% class="bodytext" style="margin-left: 30.0px;" %)
81 +//
82 +//
82 82  
84 +=== Master Empfehlung ===
85 +
86 +(% style="margin-left: 30.0px;" %)
87 +Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis and Reinhard von Hanxleden. [[Runtime enforcement of reactive systems using synchronous enforcers>>url:https://arxiv.org/pdf/1612.05030.pdf||shape="rect"]]. In //CoRR//, vol. abs/1612.05030, 2016.
88 +
89 +(% style="margin-left: 30.0px;" %)
90 +Yip, E.; Kuo, M.; Roop. P. S., Broman, D., [[Relaxing the Synchronous Approach for Mixed-Criticality Systems>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6925993||shape="rect"]], Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Berlin, Germany, April 15-17, 2014.
91 +
83 83  == Termine ==
84 84  
85 85  **Vorläufige Terminplanung**
... ... @@ -256,7 +256,6 @@
256 256  ** Kostenloser Download nur aus Rechnern im Uninetz möglich
257 257  * ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm||shape="rect" class="external-link"]]
258 258  * 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"]]
259 -)))
260 260  
261 261  (% style="display: none;" %)
262 262  (((
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -28672321
1 +28672322
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672321/WS17/18 (Synchrone Sprachen)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672322/WS17/18 (Synchrone Sprachen)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage