<
From version < 22.1 >
edited by Alexander Schulz-Rosengarten
on 2017/07/04 12:39
To version < 24.1 >
edited by ssm
on 2017/07/19 13:20
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.als
1 +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 -28672366
1 +28672392
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672366/WS17/18 (Synchrone Sprachen)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672392/WS17/18 (Synchrone Sprachen)