Volgen
Reyyan Tekin
Reyyan Tekin
Computer scientist
Geverifieerd e-mailadres voor ens.psl.eu
Titel
Geciteerd door
Geciteerd door
Jaar
Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time Systems
PE Hladik, F Ingrand, S Dal Zilio, R Tekin
Journal of Systems and Software 181, 111033, 2021
72021
Jax based parallel inference for reactive probabilistic programming
G Baudart, L Mandel, R Tekin
Proceedings of the 23rd ACM SIGPLAN/SIGBED International Conference on …, 2022
42022
Pruda: An api for time and space predictible programming in nvdia gpus using cuda
R Tekin, HE Zahaf, G Lipari
Junior Workshop: JRWRTC-Real-Time Networks and Systems 2019, 2019
32019
Inférence parallèle pour un langage réactif probabiliste
G Baudart, L Mandel, M Pouzet, R Tekin
33èmes Journées Francophones des Langages Applicatifs, 2022
22022
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–4