Last modified by Richard Kreissig on 2025/01/30 11:55
<
From version < 16.1 >
edited by Alexander Schulz-Rosengarten
on 2017/07/04 11:27
To version < 18.1 >
edited by Alexander Schulz-Rosengarten
on 2017/07/04 12:24
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -47,9 +47,12 @@
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.
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.
54 +
55 +(% 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;" %)
... ... @@ -59,9 +59,6 @@
59 59  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"]].
60 60  
61 61  (% class="bodytext" style="margin-left: 30.0px;" %)
62 -Gesell, M.; Schneider, K., "Modular verification of synchronous programs", Application of Concurrency to System Design (ACSD), 2013 13th International Conference on, pp. 70, 79, 8-10 Juli 2013, [[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6598342||shape="rect" class="external-link"]].
63 -
64 -(% class="bodytext" style="margin-left: 30.0px;" %)
65 65  Shaver, C.; Lee, E.A., "The coroutine model of computation", Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems 2012 (MODELS'12), pp. 319-334. [[PDF hier>>url:http://chess.eecs.berkeley.edu/pubs/902/coroutineModelsWithProof.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]]. Die Bearbeitung dieses Themas sollte sich auch mit ev. aktuellen Weiterentwicklungen beschäftigen, siehe z.B. den Vortrag von Chris Shaver beim Synchronworkshop 2013: [[Slides>>url:http://www.dagstuhl.de/mat/Files/13/13471/13471.ShaverChris.Slides.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]] und die [[Homepage>>url:http://www.eecs.berkeley.edu/%7Eshaver/index.html?page=research||shape="rect" class="MIME-text MIME--html external-link"]] des Autors.
66 66  
67 67  (% class="bodytext" style="margin-left: 30.0px;" %)
... ... @@ -88,7 +88,10 @@
88 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 89  
90 90  (% style="margin-left: 30.0px;" %)
91 -(% class="text-black navigate" %)//Timothy Bourke//(%%), (% class="text-black navigate" %)//Lélio Brun//(%%), (% class="text-black navigate" %)//Pierre-Evariste Dagand//(%%), (% class="text-black navigate" %)//Xavier Leroy//(%%), (% class="text-black navigate" %)//Marc Pouzet//(%%), (% class="text-black navigate" %)//Lionel Rieg. //(%%)[[(% class="text-black navigate" %)A formally verified compiler for Lustre>>url:http://dl.acm.org/ft_gateway.cfm?id=3062358&ftid=1881521&dwn=1&CFID=781648530&CFTOKEN=67078311||shape="rect"]](%%). In (% class="link-text" %)PLDI 2017(%%), Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation Pages 586-60(% class="text-black navigate" %)//
91 +(% class="text-black navigate" %)Timothy Bourke(%%), (% class="text-black navigate" %)Lélio Brun(%%), (% class="text-black navigate" %)Pierre-Evariste Dagand(%%), (% class="text-black navigate" %)Xavier Leroy(%%), (% class="text-black navigate" %)Marc Pouzet(%%), (% class="text-black navigate" %)Lionel Rieg. (%%)[[(% class="text-black navigate" %)A formally verified compiler for Lustre>>url:http://dl.acm.org/ft_gateway.cfm?id=3062358&ftid=1881521&dwn=1&CFID=781648530&CFTOKEN=67078311||shape="rect"]](%%). In (% class="link-text" %)PLDI 2017(%%), Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation Pages 586-60
92 +
93 +(% style="margin-left: 30.0px;" %)
94 +(% class="text-black navigate" %)Gesell, M.; Schneider, K., "[[Modular verification of synchronous programs>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6598342||shape="rect"]]", Application of Concurrency to System Design (ACSD), 2013 13th International Conference on, pp. 70, 79, 8-10 Juli 2013//
92 92  //
93 93  
94 94  == Termine ==
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -28672355
1 +28672359
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672355/WS17/18 (Synchrone Sprachen)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672359/WS17/18 (Synchrone Sprachen)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage