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

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 ◽

Author(s):

N. Yevtushenko ◽

T. Villa ◽

R.K. Brayton ◽

A. Petrenko ◽

A.L. Sangiovanni-Vincentelli

Keyword(s):

Language Equations ◽

Synchronous Language

Download Full-text

SOL: A Verifiable Synchronous Language for Reactive Systems

10.21236/ada465328 ◽

2002 ◽

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

Maximal and Minimal Solutions to Language Equations

Journal of Computer and System Sciences ◽

10.1006/jcss.1996.0082 ◽

1996 ◽

Vol 53 (3) ◽

pp. 487-496 ◽

Author(s):

Lila Kari ◽

Gabriel Thierrin

Keyword(s):

Language Equations ◽

Maximal And Minimal Solutions

Download Full-text

Language Equations for Maximal Decompositions in Coordination Control

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2017.08.2303 ◽

2017 ◽

Vol 50 (1) ◽

pp. 13441-13446

Author(s):

Jan Komenda ◽

Feng Lin ◽

Jan H. van Schuppen

Keyword(s):

Coordination Control ◽

Language Equations

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 ◽

Author(s):

Timothy Bourke ◽

Arcot Sowmya

Keyword(s):

Timing Model ◽

Synchronous Language

Download Full-text

Syntactic Semiring and Language Equations

Implementation and Application of Automata - Lecture Notes in Computer Science ◽

10.1007/3-540-44977-9_17 ◽

2003 ◽

pp. 182-193 ◽

Author(s):

Libor Polák

Keyword(s):

Language Equations

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 ◽

Author(s):

Nicolas Guichon

Keyword(s):

Language Teaching ◽

Desktop Videoconferencing ◽

Synchronous Language

Download Full-text