Changes for page 2017/18 Synchrone Sprachen
Last modified by Richard Kreissig on 2025/01/30 11:55
Change comment:
There is no comment for this version
Summary
-
Page properties (2 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki. als1 +XWiki.ssm - Content
-
... ... @@ -50,7 +50,7 @@ 50 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. 51 51 52 52 (% class="bodytext" style="margin-left: 30.0px;" %) 53 -(% class="authors-info ng-binding ng-scope ng-scope ng-isolate-scope ng-binding" %)JiaJie Wang(% class="authors-info ng-binding ng-scope" %); (% class="authors-info ng-binding ng-scope ng-scope ng-isolate-scope ng-binding" %)Patha S. Roop(% class="authors-info ng-binding ng-scope" %); (% class="authors-info ng-binding ng-scope ng-scope ng-isolate-scope ng-binding" %)Alain Girault(% class="authors-info ng-binding ng-scope ng-scope" %). (% class="authors-info ng-binding ng-scope ng-scope ng-binding" %)[[Energy and timing aware synchronous programming>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7743219||shape="rect"]], //2016 International Conference on Embedded Software (EMSOFT)//, Pittsburgh, PA, 2016, pp. 1-10. 53 +(% class="authors-info ng-binding ng-scope ng-scope ng-isolate-scope ng-binding" %)**Nils Sauer:** JiaJie Wang(% class="authors-info ng-binding ng-scope" %); (% class="authors-info ng-binding ng-scope ng-scope ng-isolate-scope ng-binding" %)Patha S. Roop(% class="authors-info ng-binding ng-scope" %); (% class="authors-info ng-binding ng-scope ng-scope ng-isolate-scope ng-binding" %)Alain Girault(% class="authors-info ng-binding ng-scope ng-scope" %). (% class="authors-info ng-binding ng-scope ng-scope ng-binding" %)[[Energy and timing aware synchronous programming>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7743219||shape="rect"]], //2016 International Conference on Embedded Software (EMSOFT)//, Pittsburgh, PA, 2016, pp. 1-10. 54 54 55 55 (% class="bodytext" style="margin-left: 30.0px;" %) 56 56 (% class="authors-info ng-binding ng-scope ng-scope ng-binding" %)Louis Mandel, Cédric Pasteur, and Marc Pouzet. [[ReactiveML, Ten Years Later>>url:https://www.di.ens.fr/~~pouzet/bib/ppdp15.pdf||shape="rect"]]. In //ACM International Conference on Principles and Practice of Declarative Programming (PPDP)//, Siena, Italy, July 2015. Invited paper for PPDP'05 award ... ... @@ -60,7 +60,7 @@ 60 60 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"]]. 61 61 62 62 (% class="bodytext" style="margin-left: 30.0px;" %) 63 -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"]]. 63 +**Lars Viertel:** 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"]]. 64 64 65 65 (% class="bodytext" style="margin-left: 30.0px;" %) 66 66 Gueye, S. M.; De Palma, N.; Rutten, E.; Tchana, A., "Coordinating multiple administration loops using discrete control" (language: Heptagon/BZR), ACM SIGOPS Operating Systems Review, vol. 47, issue 3, December 2013, pp. 18-25. [[PDF hier>>url:http://dl.acm.org/citation.cfm?id=2553074||shape="rect" class="external-link"]]. ... ... @@ -74,9 +74,6 @@ 74 74 (% class="bodytext" style="margin-left: 30.0px;" %) 75 75 Talpin, J.-P; Brandt, J.; Gemünde, M.; Schneider, M.; Shukla, S., "Constructive Polychronous Systems", Logical Foundations of Computer Science. vol. 7734, 2013. [[PDF hier>>url:http://hal.inria.fr/hal-00763371/||shape="rect" class="external-link"]]. 76 76 77 -(% class="bodytext" style="margin-left: 30.0px;" %) 78 -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"]]. 79 - 80 80 === Master Empfehlung === 81 81 82 82 (% style="margin-left: 30.0px;" %) ... ... @@ -108,6 +108,9 @@ 108 108 Guillaume Baudart, Timothy Bourke, and Marc Pouzet. [[Soundness of the Quasi-Synchronous Abstraction>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7886655||shape="rect"]]. In //International Conference on Formal Methods in Computer-Aided Design (FMCAD)//, Mountain View, California, USA, October, 3-6 2016 109 109 110 110 (% style="margin-left: 30.0px;" %) 108 +Brandt, J.; Schneider, K.; [[Passive code in synchronous programs>>url:http://dl.acm.org/citation.cfm?id=2544387||shape="rect"]], ACM Transactions on Embedded Computing Systems (TECS), Special Section, vol. 13 issue 2s, Jan2014, article No. 67. 109 + 110 +(% style="margin-left: 30.0px;" %) 111 111 (% class="text-black navigate" %)// 112 112 // 113 113
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -286723 661 +28672392 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/286723 66/WS17/18 (Synchrone Sprachen)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672392/WS17/18 (Synchrone Sprachen)