Autor der Publikation

Reactors: A Deterministic Model for Composable Reactive Systems.

, , , , , , und . CyPhy/WESE, Volume 11971 von Lecture Notes in Computer Science, Seite 59-85. Springer, (2019)

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

Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism"., , , , und . CoRR, (2019)STCLang: state thread composition as a foundation for monadic dataflow parallelism., , , , und . Haskell@ICFP, Seite 146-161. ACM, (2019)On Compact Mappings for Multicore Systems., , und . SAMOS, Volume 11733 von Lecture Notes in Computer Science, Seite 325-335. Springer, (2019)A Reinforcement Learning Environment for Polyhedral Optimizations., , und . CoRR, (2021)PolyGym: Polyhedral Optimizations as an Environment for Reinforcement Learning., , und . PACT, Seite 17-29. IEEE, (2021)Robust Mapping of Process Networks to Many-Core Systems using Bio-Inspired Design Centering., , , , und . SCOPES, Seite 21-30. ACM, (2017)Guided Equality Saturation., , , , , und . Proc. ACM Program. Lang., 8 (POPL): 1727-1758 (Januar 2024)Modem Design in the Era of 5G and Beyond: The Need for a Formal Approach., , , , , und . ICT, Seite 1-5. IEEE, (2020)ComPy-Learn: A toolbox for exploring machine learning representations for compilers., , und . FDL, Seite 1-4. IEEE, (2020)Embeddings of Task Mappings to Multicore Systems., und . SAMOS, Volume 13227 von Lecture Notes in Computer Science, Seite 161-176. Springer, (2021)