Autor der Publikation

Reactive Probabilistic Programming

, , , , , und . (2019)cite arxiv:1908.07563Comment: Version with appendices of the PLDI 2020 paper "Reactive Probabilistic Programming".

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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