( en | de | ru )

 

Disambiguation of "Pouzet, Marc"

Author of the publication

copydeleteadd this publication to your clipboard
Abstraction of Clocks in Synchronous Data-Flow Systems.

, , , and . APLAS, volume 5356 of Lecture Notes in Computer Science, page 237-254. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stefanie Marczoch

Langzeitverlauf von 200 Patienten mit kraniofazialen und zervikalen Dystonien bis zu 12 Jahre nach der ersten Botulinumtoxin-Behandlung. TU München, (2009)

Toni Marcy

Ursula Marcinek

Wolfgang Marcus

Hans-Peter Marchal

 

Other publications of authors with the same name

From Lustre to Graphical Models and SCCharts., , , , and . FDL, page 1-8. IEEE, (2020)Modular Causality in a Synchronous Stream Language., and . ESOP, volume 2028 of Lecture Notes in Computer Science, page 237-251. Springer, (2001)Clocks as First Class Abstract Types., and . EMSOFT, volume 2855 of Lecture Notes in Computer Science, page 134-155. Springer, (2003)Multi-Mode DAE Models - Challenges, Theory and Implementation., , , , , and . Computing and Software Science, volume 10000 of Lecture Notes in Computer Science, Springer, (2019)SCADE 6: A formal language for embedded critical software development (invited paper)., , and . TASE, page 1-11. IEEE Computer Society, (2017)Type-based initialization analysis of a synchronous dataflow language., and . Int. J. Softw. Tools Technol. Transf., 6 (3): 245-255 (2004)Programming parallelism with futures in lustre, , and . Proceedings of the tenth ACM international conference on Embedded software, ACM, (October 2012)A conservative extension of synchronous data-flow with state machines., , and . EMSOFT, page 173-182. ACM, (2005)Reactive Probabilistic Programming, , , , , and . (2019)cite arxiv:1908.07563Comment: Version with appendices of the PLDI 2020 paper "Reactive Probabilistic Programming".Clock-directed modular code generation for synchronous data-flow languages., , , and . LCTES, page 121-130. ACM, (2008)