Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

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;" %)
...	...	@@ -87,6 +87,10 @@
87	87	(% style="margin-left: 30.0px;" %)
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
	93	+(% style="margin-left: 30.0px;" %)
	94	+(% 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" %)//
	95	+//
	96	+
90	90	== Termine ==
91	91
92	92	**Vorläufige Terminplanung**

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-28672353
	1	+28672357

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672353/WS17/18 (Synchrone Sprachen)
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672357/WS17/18 (Synchrone Sprachen)