ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Time refinement in a functional synchronous language
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming - PPDP '13
◽
10.1145/2505879.2505904
◽
2013
◽
Cited By ~ 5
Author(s):
Louis Mandel
◽
Cédric Pasteur
◽
Marc Pouzet
Keyword(s):
Synchronous Language
Download Full-text
Related Documents
Cited By
References
SOL: A Verifiable Synchronous Language for Reactive Systems
10.21236/ada465328
◽
2002
◽
Cited By ~ 2
Author(s):
Ramesh Bharadwaj
Keyword(s):
Reactive Systems
◽
Synchronous Language
Download Full-text
Mechanized semantics and verified compilation for a dataflow synchronous language with reset
Proceedings of the ACM on Programming Languages
◽
10.1145/3371112
◽
2020
◽
Vol 4
(POPL)
◽
pp. 1-29
Author(s):
Timothy Bourke
◽
Lélio Brun
◽
Marc Pouzet
Keyword(s):
Synchronous Language
Download Full-text
A new algorithm for the largest compositionally progressive solution of synchronous language equations
Proceedings of the 17th great lakes symposium on Great lakes symposium on VLSI - GLSVLSI '07
◽
10.1145/1228784.1228888
◽
2007
◽
Author(s):
Tiziano Villa
◽
Svetlana Zharikova
◽
Nina Yevtushenko
◽
Robert Brayton
◽
Alberto Sangiovanni-Vincentelli
Keyword(s):
Language Equations
◽
Synchronous Language
Download Full-text
In-Place Update in a Dataflow Synchronous Language
Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems - SCOPES '16
◽
10.1145/2906363.2906379
◽
2016
◽
Author(s):
Ulysse Beaugnon
◽
Albert Cohen
◽
Marc Pouzet
Keyword(s):
Synchronous Language
Download Full-text
A timing model for synchronous language implementations in simulink
Proceedings of the 6th ACM & IEEE International conference on Embedded software - EMSOFT '06
◽
10.1145/1176887.1176901
◽
2006
◽
Cited By ~ 2
Author(s):
Timothy Bourke
◽
Arcot Sowmya
Keyword(s):
Timing Model
◽
Synchronous Language
Download Full-text
Elevate embedded real-time programming with a synchronous language
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17
◽
10.1145/3127041.3131363
◽
2017
◽
Author(s):
Franz-Josef Grosch
Keyword(s):
Real Time
◽
Synchronous Language
Download Full-text
Preparatory study for the design of a desktop videoconferencing platform for synchronous language teaching
Computer Assisted Language Learning
◽
10.1080/09588221003666255
◽
2010
◽
Vol 23
(2)
◽
pp. 169-182
◽
Cited By ~ 27
Author(s):
Nicolas Guichon
Keyword(s):
Language Teaching
◽
Desktop Videoconferencing
◽
Synchronous Language
Download Full-text
Equisolvability of series vs. controller's topology in synchronous language equations
2003 Design, Automation and Test in Europe Conference and Exhibition
◽
10.1109/date.2003.1253778
◽
2004
◽
Cited By ~ 1
Author(s):
N. Yevtushenko
◽
T. Villa
◽
R.K. Brayton
◽
A. Petrenko
◽
A.L. Sangiovanni-Vincentelli
Keyword(s):
Language Equations
◽
Synchronous Language
Download Full-text
ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre
2010 22nd Euromicro Conference on Real-Time Systems
◽
10.1109/ecrts.2010.11
◽
2010
◽
Cited By ~ 3
Author(s):
Karine Altisen
◽
Matthieu Moy
Keyword(s):
Real Time
◽
Abstract Interpretation
◽
Smt Solving
◽
Synchronous Language
Download Full-text
Controlling real-time asynchronous tasks with ESTEREL synchronous language
Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94
◽
10.1145/197917.198162
◽
1994
◽
Cited By ~ 2
Author(s):
M. Adelantado
◽
F. Boniol
Keyword(s):
Real Time
◽
Synchronous Language
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close