 |
 |
|
|
||
|---|---|---|
|
hal-00869230v2
Communication dans un congrès
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous. Formal verification in Coq of program properties involving the global state effect JFLA 2014 - Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. pp.1-17, 2014 |
||
|
hal-01251223v1
Article dans une revue
Jean-Guillaume Dumas, Clement Pernet, Ziad Sultan. Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition Journal of Symbolic Computation, Elsevier, 2017, Special issue on ISSAC'15, 83, pp.187-210. <10.1016/j.jsc.2016.11.011> |
||
|
hal-01266041v1
Communication dans un congrès
Jean-Guillaume Dumas, Erich Kaltofen, Emmanuel Thomé, Gilles Villard. Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix Xiao-Shan Gao. International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. ACM, pp.199-206, ISSAC’2016, Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation. <http://www.issac-conference.org/2016/>. <10.1145/2930889.2930908> |
||
|
hal-01121924v3
Communication dans un congrès
Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud. Hilbert-Post completeness for the state and the exception effects Siegfried Rump (Hamburg University of Technology), Chee Yap (Courant Institute, NYU). Sixth International Conference on Mathematical Aspects of Computer and Information Sciences, Nov 2015, Berlin, Germany. 2015, LNCS |
||
|
hal-00947013v1
Communication dans un congrès
Jean-Guillaume Dumas, Thierry Gautier, Clement Pernet, Ziad Sultan. Parallel computation of echelon forms EuroPar-2014 - 20th International Conference on Parallel Processing, Aug 2014, Porto, Portugal. Springer, 8632, pp.499-510, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-09873-9_42> |
||
|
hal-01107722v2
Communication dans un congrès
Jean-Guillaume Dumas, Clément Pernet, Ziad Sultan. Computing the Rank Profile Matrix Kazuhiro Yokoyama ISSAC , Jul 2015, Bath, United Kingdom. ACM, ISSAC 2015 : ACM International Symposium on Symbolic and Algebraic Computations, pp.146--153, 2015, ISSAC 2015. <10.1145/2755996.2756682> |
||
|
hal-01237869v1
Communication dans un congrès
Patrick R. Amestoy, Romain Brossier, Alfredo Buttari, Jean-Yves L'Excellent, Théo Mary et al. 3D frequency-domain seismic modeling with a Parallel BLR multifrontal direct solver SEG Annual meeting, Oct 2015, New Orleans, United States. pp.3606-3611, 2015, SEG Technical Program Expanded Abstracts 2015 |
||
|
hal-01239896v1
Communication dans un congrès
Patrick R. Amestoy, Romain Brossier, Alfredo Buttari, Jean-Yves L'Excellent, Théo Mary et al. Efficient 3D frequency-domain full-waveform inversion of ocean-bottom cable data with sparse block low-rank direct solver: a real data case study from the North Sea SEG Annual meeting, 2015, New Orleans, United States. pp.1303-1308, 2015, SEG Technical Program Expanded Abstracts 2015. <10.1190/segam2015-5713962.1> |
||
|
hal-00766783v1
Communication dans un congrès
Hubert Gallée, Clémentine Prieur, Anestis Antoniadis, Céline Helbert, Laurence Viry et al. Spatio-temporal modeling of Western African monsoon Les ateliers de modélisation de l'atmosphère. Architectures massivement parallèles : adaptation des modèles et apports de la puissance, Feb 2011, Toulouse, France. 2011 |
||
|
hal-01015138v1
Communication dans un congrès
Brice Boyer, Jean-Guillaume Dumas, Giorgi Pascal, Clement Pernet, B. David Saunders. Elements of Design for Containers and Solutions in the LinBox Library Hoon Hong; Chee Yap. ICMS - 4th International Congress on Mathematical Software, Aug 2014, Seoul, South Korea. Springer, Lecture Notes in Computer Science, 8592, pp.654-662, 2014, Mathematical Software – ICMS 2014. <10.1007/978-3-662-44199-2_98> |
||
|
inria-00570448v1
Communication dans un congrès
Patrick Loiseau, Paulo Gonçalves, Stéphane Girard, Florence Forbes, Pascale Vicat-Blanc Primet. Maximum Likelihood Estimation of the Flow Size Distribution Tail Index from Sampled Packet Data SIGMETRICS '09 - 11th international joint conference on Measurement and modeling of computer systems, Jun 2009, Seattle, United States. ACM, pp.263-274, 2009, Proceedings of the eleventh international joint conference on Measurement and modeling of computer systems. <10.1145/1555349.1555380> |
||
|
hal-01349119v1
Article dans une revue
Patrick R. Amestoy, Romain Brossier, Alfredo Buttari, Jean-Yves L'Excellent, Théo Mary et al. Fast 3D frequency-domain full waveform inversion with a parallel Block Low-Rank multifrontal direct solver: application to OBC data from the North Sea Geophysics, Society of Exploration Geophysicists, 2016, 81 (6), pp.R363-R383. <10.1190/geo2016-0052.1> |
||
|
hal-01084238v2
Article dans une revue
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Jean-Louis Roch, Ziad Sultan. Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination Parallel Computing, Elsevier, 2016, 57, pp.235-249. <10.1016/j.parco.2015.10.003> |
||
|
|
||
