149 results  save search

hal-00752883v1  Conference papers
Ghislain Landry Tsafack ChetsaLaurent LefèvreJean-Marc PiersonPatricia StolfGeorges da Costa. Beyond CPU Frequency Scaling for a Fine-grained Energy Control of HPC Systems
24th International Symposium on Computer Architecture and High Performance Computing, Oct 2012, New York City, United States
hal-01540170v3  Conference papers
Paulo Ricardo Arantes GilzFlorent BréhardClément Gazzino. Validated Semi-Analytical Transition Matrices for Linearized Relative Spacecraft Dynamics via Chebyshev Series Approximations
SCITECH 2018 - AIAA Science and Technology Forum and Exposition, 28th Space Flight Mechanics Meeting, Jan 2018, Kissimmee, United States. pp.1-23, ⟨10.2514/6.2018-1960⟩
hal-01654396v2  Conference papers
Florent Bréhard. A Newton-like Validation Method for Chebyshev Approximate Solutions of Linear Ordinary Differential Systems
ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.103-110, ⟨10.1145/3208976.3209000⟩
hal-01429567v1  Conference papers
Hrachya AstsatryanEddy CaronMichel DaydéAurélie HuraultMarc Pantel. On defining a web interface for linear algebra tasks over computational grids
International Conference on Computer Science and Information Technologies (CSIT'07), Sep 2007, Yerevan, Armenia
hal-01298206v2  Conference papers
Caroline CollangeMioara JoldesJean-Michel MullerValentina Popescu. Parallel floating-point expansions for extended-precision GPU computations
The 27th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), Jul 2016, London, United Kingdom
hal-00807291v1  Conference papers
Patrick R. AmestoyIain S. DuffLuc GiraudJean-Yves l'ExcellentChiara Puglisi. GRID-TLSE: A Web Site for Experimenting with Sparse Direct Solvers on a Computational Grid
SIAM Conference on Parallel Processing for Scientific Computing, San Francisco, California, 2004, Unknown
hal-00807290v1  Conference papers
Patrick R. AmestoyAbdou GuermoucheJean-Yves l'ExcellentStephane Pralet. Hybrid scheduling strategies for the parallel multifrontal method
3rd International Workshop on Parallel Matrix Algorithms and Applications (PMAA'04), Marseille, France, 2004, Unknown
hal-01355356v1  Conference papers
Patrick R. AmestoyJean-Yves l'ExcellentFrançois-Henry RouetWissam M. Sid-Lakhdar. Modeling 1D distributed-memory dense kernels for an asynchronous multifrontal sparse solver
High Performance Computing for Computational Science, 2014 - 11th International Conference, Revised Selected Papers, Jun 2014, Eugene, Oregon, United States. pp.156-169
hal-02006606v1  Conference papers
Denis ArzelierFlorent BréhardMioara Joldes. Exchange algorithm for evaluation and approximation error-optimized polynomials
ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.1-8
hal-01355452v1  Conference papers
Violaine VillebonnetGeorges da CostaLaurent LefèvreJean-Marc PiersonPatricia Stolf. Energy Aware Dynamic Provisioning for Heterogeneous Data Centers
SBAC-PAD : 28th International Symposium on Computer Architecture and High Performance Computing, Oct 2016, Los Angeles, United States
hal-02006645v1  Conference papers
Florent BréhardMioara JoldesJean-Bernard Lasserre. On Moment Problems with Holonomic Functions
ISSAC 2019 - 44th International Symposium on Symbolic and Algebraic Computation, Jul 2019, Pékin, China. pp.66-73
hal-01649244v2  Reports
Patrick AmestoyJean-Yves l'ExcellentGilles Moreau. On Exploiting Sparsity of Multiple Right-Hand Sides in Sparse Direct Solvers
[Research Report] RR-9122, ENS de Lyon; INRIA Grenoble - Rhone-Alpes. 2017, pp.1-28
hal-01355687v1  Conference papers
Christina HerzogJean-Marc PiersonLaurent Lefèvre. A Multi Agent System for Understanding the Impact of Technology Transfer Offices in Green-IT
PRIMA 2016 : International Conference on Principles and practice of multi-agent systems, Aug 2016, Phuket, Thailand
hal-01207320v1  Conference papers
Michel DaydéBenjamin DepardonAlain FrancJean-François GibratRomaric Guillier et al.  E-Biothon: an experimental platform for BioInformatics
International Conference on Computer Science and Information Technologies, Sep 2015, Yerevan, Armenia
hal-01955766v1  Journal articles
Patrick AmestoyAlfredo ButtariJean-Yves l'ExcellentThéo Mary. Performance and Scalability of the Block Low-Rank Multifrontal Factorization on Multicore Architectures
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2019, 45 (1), pp.1-26. ⟨10.1145/3242094⟩
hal-01132149v1  Journal articles
Romain SerraDenis ArzelierMioara JoldesJean-Bernard LasserreAude Rondepierre et al.  Fast and Accurate Computation of Orbital Collision Probability for Short-Term Encounters
Journal of Guidance, Control, and Dynamics, American Institute of Aeronautics and Astronautics, 2016, 39 (5), pp.1009-1021. ⟨10.2514/1.G001353⟩
hal-01369283v1  Conference papers
Christina HerzogJean-Marc PiersonLaurent Lefèvre. Modélisation du transfert technologique par système multi-agent : illustration à l'informatique verte
JFSMA 2016 : 24 èmes journées Francophones sur les systèmes Multi-Agents, Oct 2016, Rouen, France
hal-02088529v2  Conference papers
Florent BréhardAssia MahboubiDamien Pous. A certificate-based approach to formally verified approximations
ITP 2019 - Tenth International Conference on Interactive Theorem Proving, Sep 2019, Portland, United States. pp.1-19, ⟨10.4230/LIPIcs.ITP.2019.8⟩