Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Résultat de recherche
-
Functional Stream Semantics for a Synchronous Block-Diagram Compiler
Bourke, T., Jeanmaire, P. & Pouzet, M., 1 janv. 2025, Proceedings - 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025. Institute of Electrical and Electronics Engineers Inc., p. 609-621 13 p. (Proceedings - Symposium on Logic in Computer Science).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Lustre, Fast First, and Fresh
Bourke, T. & Pouzet, M., 1 janv. 2025, Dans: IEEE Embedded Systems Letters. 17, 2, p. 119-122 4 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Lustre, Fast First, and Fresh
Bourke, T. & Pouzet, M., 1 janv. 2025, Dans: IEEE Embedded Systems Letters. 17, 2, p. 119-122 4 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
-
Preface
Bourke, T., Chen, L. & Goharshady, A., 1 janv. 2025, Dans: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 15469 LNCS, p. v-viRésultats de recherche: Contribution à un journal › Éditorial
-
Special Sessions-Predictable Timing Behavior in Distributed Cyber-Physical Systems
Chen, J. J., Günzel, M., Dasari, D., Becker, M., Lee, E. A. & Bourke, T., 5 déc. 2025, Proceedings - 2025 International Conference on Embedded Software, EMSOFT 2025. Association for Computing Machinery, Inc, p. 23-32 10 p. (Proceedings - 2025 International Conference on Embedded Software, EMSOFT 2025).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints
Bourke, T., Bregeon, V. & Pouzet, M., 1 juil. 2023, 35th Euromicro Conference on Real-Time Systems, ECRTS 2023. Papadopoulos, A. V. (Ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs; Vol 262).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Verified Compilation of Synchronous Dataflow with State Machines
Bourke, T., Pesin, B. & Pouzet, M., 9 sept. 2023, Dans: ACM Transactions on Embedded Computing Systems. 22, 5 s, 137.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Normalisation vérifiée du langage Lustre
Bourke, T., Jeanmaire, P., Pesin, B. & Pouzet, M., 1 janv. 2021, p. 117-133. 17 p.Résultats de recherche: Contribution à une conférence › Papier › Revue par des pairs
-
Verified Lustre Normalization with Node Subsampling
Bourke, T., Jeanmaire, P., Pesin, B. & Pouzet, M., 1 oct. 2021, Dans: ACM Transactions on Embedded Computing Systems. 20, 5s, 98.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Mechanized semantics and verified compilation for a dataflow synchronous language with reset
Bourke, T., Brun, L. & Pouzet, M., 1 janv. 2020, Dans: Proceedings of the ACM on Programming Languages. 4, POPL, 44.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert