Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Redon, Xavier"'
Autor:
Beaudouin-Lafon, Michel, Chevalier, Céline, Grimaud, Gilles, Groz, Benoit, Marquet, Philippe, Nancel, Mathieu, Pelsser, Cristel, Redon, Xavier, Vantroys, Thomas, Waller, Emmanuel
Publikováno v:
Hachette Education, pp.352, 2022, 978-2-01-786634-3
National audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::76490fdd6a2e5aed378ca41e9969c38e
https://hal.science/hal-03814079
https://hal.science/hal-03814079
Publikováno v:
RR-4285, INRIA. 2001
This paper deals with the problem of deciding whether two Systems of Affine Recurrence Equations are equivalent or not. A solution to this problem would be a first step toward algorithm recognition, an important tool in program analysis, optimization
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::94348f9fdb9ec60ef6af5788db7d9e8a
https://hal.inria.fr/inria-00072302/document
https://hal.inria.fr/inria-00072302/document
Autor:
Goos, Gerhard, Hartmanis, Juris, Leeuwen, Jan, Pritchard, David, Reeve, Jeff, Boulet, Pierre, Redon, Xavier
Publikováno v:
Euro-Par'98 Parallel Processing; 1998, p263-272, 10p
Autor:
Redon, Xavier, Feautrier, Paul
Publikováno v:
Proceedings of the 8th International Conference: Supercomputing; 7/11/1994, p117-125, 9p
Autor:
REDON, XAVIER, FEAUTRIER, PAUL
Publikováno v:
Parallel Algorithms & Applications; Dec2000, Vol. 15 Issue 3/4, p229-263, 35p