I agree that this site is using cookies. You can find further informations here.
X
Denis, Amina A.
4  results:
Bookchapter (Online) X
Search for persons X
?
1

Performance Portability of Generated Cardiac Simulation Ker..:

, In: 2024 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW),
Alba, Vincent ; Aumage, Olivier ; Barthou, Denis... - p. 1006-1015 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Bouncing Threads for Circular and Non-Wellfounded Proofs ..:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,
Baelde, David ; Doumane, Amina ; Kuperberg, Denis. - p. 1-13 , 2022
Link: https://dl.acm.org/doi/1..
 
?
3

A Comparison of Multithreading, Vectorization, and GPU Comp..:

, In: 2022 Computing in Cardiology (CinC),
Sakka, Chiheb ; Guermouche, Amina ; Aumage, Olivier... - p. 1-4 , 2022
Link: https://doi.org/10.22489..
 
?
4

Kleene Algebra with Hypotheses:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,
Doumane, Amina ; Kuperberg, Denis ; Pous, Damien. - p. 207-223 , 2019
Link: https://doi.org/10.1007/..
 
1-4