Page History

...

JiaJie Wang; Patha S. Roop; Alain Girault. Energy and timing aware synchronous programming, 2016 International Conference on Embedded Software (EMSOFT), Pittsburgh, PA, 2016, pp. 1-10.

Louis Mandel, Cédric Pasteur, and Marc Pouzet. ReactiveML, Ten Years Later. In ACM International Conference on Principles and Practice of Declarative Programming (PPDP), Siena, Italy, July 2015. Invited paper for PPDP'05 award

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.

...

Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont. Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models. [Research Report] RR-8937, UCA, Inria; UCA, I3S; UCA, LEAT; UCA, LJAD. 2016, pp.21.

Bourke T., Colaço JL., Pagano B., Pasteur C., Pouzet M. (2015) A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages. In: Franke B. (eds) Compiler Construction. CC 2015. Lecture Notes in Computer Science, vol 9031. Springer, Berlin, Heidelberg

Guillaume Baudart, Timothy Bourke, and Marc Pouzet. Soundness of the Quasi-Synchronous Abstraction. In International Conference on Formal Methods in Computer-Aided Design (FMCAD), Mountain View, California, USA, October, 3-6 2016

Termine

Vorläufige Terminplanung

...