Changes for page 2017/18 Synchrone Sprachen
Last modified by Richard Kreissig on 2025/01/30 11:55
<
>
edited by Alexander Schulz-Rosengarten
on 2017/07/04 09:53
on 2017/07/04 09:53
edited by Alexander Schulz-Rosengarten
on 2017/06/30 10:01
on 2017/06/30 10:01
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -40,16 +40,17 @@ 40 40 === Bachelor Empfehlung === 41 41 42 42 (% class="bodytext" style="margin-left: 30.0px;" %) 43 -Rémy El Sibaïe and Emmanuel Chailloux. 2016. [[Synchronous-reactive web programming>>url:http://dl.acm.org/ft_gateway.cfm?id=3001931&ftid=1805607&dwn=1&CFID=781322691&CFTOKEN=53048925||shape="rect"]]. In //Proceedings of the 3rd International Workshop on Reactive and Event-Based Languages and Systems// (REBLS 2016). ACM, New York, NY, USA 44 - 45 -(% class="bodytext" style="margin-left: 30.0px;" %) 46 46 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. // 47 47 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.// 48 48 49 49 (% class="bodytext" style="margin-left: 30.0px;" %) 50 -Nadeem, M.; Biglari-Abhari, M.; Salcic, Z., [[GALS-JOP: A Java Embedded Processor for GALS Reactive Programs>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6119095||shape="rect"]]", IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing (DASC), 2011. 47 +// 48 +// 51 51 52 52 (% class="bodytext" style="margin-left: 30.0px;" %) 51 +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"]]. 52 + 53 +(% class="bodytext" style="margin-left: 30.0px;" %) 53 53 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"]]. 54 54 55 55 (% class="bodytext" style="margin-left: 30.0px;" %) ... ... @@ -76,6 +76,10 @@ 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 78 80 +(% class="bodytext" style="margin-left: 30.0px;" %) 81 +// 82 +// 83 + 79 79 === Master Empfehlung === 80 80 81 81 (% style="margin-left: 30.0px;" %) ... ... @@ -84,9 +84,6 @@ 84 84 (% style="margin-left: 30.0px;" %) 85 85 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. 86 86 87 -(% style="margin-left: 30.0px;" %) 88 -Mendler, M, Roop, PS & Bodin, B 2016, [[A Novel WCET semantics of Synchronous Programs>>url:http://www.research.ed.ac.uk/portal/files/26473689/main.pdf||shape="rect"]]. In Formal Modeling and Analysis of Timed Systems: 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016). Lecture Notes in Computer Science (LNCS), vol. 9884, Springer International Publishing, pp. 195-210. DOI: 10.1007/978-3-319-44878-7_12 89 - 90 90 == Termine == 91 91 92 92 **Vorläufige Terminplanung**
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -2867234 91 +28672346 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/2867234 9/WS17/18 (Synchrone Sprachen)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672346/WS17/18 (Synchrone Sprachen)