Summary

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

Details

Page properties

Content

...	...	@@ -53,6 +53,10 @@
53	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	54
55	55	(% class="bodytext" style="margin-left: 30.0px;" %)
	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
	57	+
	58	+
	59	+(% class="bodytext" style="margin-left: 30.0px;" %)
56	56	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"]].
57	57
58	58	(% class="bodytext" style="margin-left: 30.0px;" %)
...	...	@@ -98,6 +98,12 @@
98	98	Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont. [[Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models>>url:https://hal.inria.fr/hal-01349019/file/RR-8937.pdf||shape="rect"]]. [Research Report] RR-8937, UCA, Inria; UCA, I3S; UCA, LEAT; UCA, LJAD. 2016, pp.21.
99	99
100	100	(% style="margin-left: 30.0px;" %)
	105	+Bourke T., Colaço JL., Pagano B., Pasteur C., Pouzet M. (2015) [[A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages>>url:https://www.di.ens.fr/~~pouzet/bib/cc15.pdf||shape="rect"]]. In: Franke B. (eds) Compiler Construction. CC 2015. Lecture Notes in Computer Science, vol 9031. Springer, Berlin, Heidelberg
	106	+
	107	+(% style="margin-left: 30.0px;" %)
	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	+
	110	+(% style="margin-left: 30.0px;" %)
101	101	(% class="text-black navigate" %)//
102	102	//
103	103

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-28672364
	1	+28672366

URL

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