Langlois, Philippe, 1963-...., enseignant-chercheur en informatique
Langlois, Philippe 1963-....
VIAF ID: 195038379 ( Personal )
Permalink: http://viaf.org/viaf/195038379
Preferred Forms
5xx's: Related Names (2)
- 511 2 _ ‡a Équipe de recherche Digits, architectures et logiciels informatiques (Perpignan)
- 511 2 _ ‡a Université de Perpignan (1979-....)
Works
Title | Sources |
---|---|
ADA et calcul scientifique : qualité numérique des fonctions élémentaires | |
Amélioration de la fiabilité numérique de codes de calcul industriels | |
Conceptual modeling of a crescentic microtidal beach. | |
Contribution à la parallélisation automatique : un modèle de processeur à beaucoup de coeurs parallélisant. | |
Contribution to the automatic parallelization : the model of the manycore parallelizing processor. | |
Contributions à l'arithmétique flottante : codages et arrondi correct de fonctions algébriques | |
Contributions to floating-point arithmetic : Coding and correct rounding of algebraic functions. | |
Efficient algorithms for verified scientific computing : Numerical linear algebra using interval arithmetic | |
Fast and efficient bit-level precision tuning | |
Fiabilité numérique et précision finie : une méthode automatique de correction linéaire de l'erreur d'arrondi | |
Improved numerical reliability of industrial software. | |
Improving the numerical accuracy of parallel programs. | |
Informatique mathématique une photographie en 2013 | |
Méthodes et outils pour définir et véhiculer une identité sonore : application au design sonore identitaire de la marque SNCF | |
Methodology and tools for the definition and the expression of a sound identity : application to the design of the SNCF brand sound identity. | |
Modélisation conceptuelle du fonctionnement d'une plage microtidale à barres en festons | |
Optimisation de code HPC pour les expériences en rayons gamma | |
Optimisation de la précision numérique des codes parallèles | |
Outils pour la conception de bibliothèques de calcul de fonctions efficaces et fiables. | |
Reliability of numerical algorithms : structured pseudosolutions and accuracy. | |
Solving dense linear systems on accelerated multicore architectures | |
Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754 | |
Tools for the Design of Reliable and Efficient Functions Evaluation Libraries | |
Towards a modern floating-point environment | |
Towards reproducible, accurately rounded and efficient BLAS | |
Tradeoffs Between Accuracy and Performance in IEEE 754 Floating-Point Artithmetic using Code Synthesis. | |
Vers l'environnement flottant moderne. |