Skip to Main content Skip to Navigation


...
tel-00301285v1  Theses
Romain Michard. Opérateurs arithmétiques matériels optimisés
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2008. Français
hal-01811186v1  Journal articles
Sever Adrian Hirstoaga. Iterative selection methods for common fixed point problems
Journal of Mathematical Analysis and Applications, Elsevier, 2006, 324 (2), pp.1020-1035. ⟨10.1016/j.jmaa.2005.12.064⟩
...
hal-01526272v3  Journal articles
Florent BréhardNicolas BrisebarreMioara Joldeş. Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2018, 44 (4), pp.44:1-44:42. ⟨10.1145/3208103⟩
...
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⟩
...
tel-00438603v1  Theses
Nicolas Veyrat-Charvillon. Opérateurs arithmétiques matériels pour des applications spécifiques
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2007. Français
hal-01656085v1  Conference papers
Qipeng SongXavier LagrangeLoutfi Nuaymi. An Analytical Model for S-ALOHA Performance Evaluation in M2M Networks
ICC 2017 : IEEE International Conference on Communications, May 2017, Paris, France. pp.1 - 7, ⟨10.1109/ICC.2017.7996933⟩
...
hal-02101824v1  Reports
Benoît Dupont de DinechinChristophe MonatFabrice Rastello. Parallel Execution of the Saturated Reductions
[Research Report] LIP RR-2001-28, Laboratoire de l'informatique du parallélisme. 2001, 2+15p
...
tel-01097176v1  Theses
Aymen Chakhari. Evaluation analytique de la précision des systèmes en virgule fixe pour des applications de communication numérique
Traitement du signal et de l'image [eess.SP]. Université de Rennes 1, 2014. Français
...
tel-00705141v1  Theses
Nguyen Hai Nam. Optimisation de la précision de calcul pour la réduction d'énergie des systèmes embarqués
Traitement du signal et de l'image [eess.SP]. Université Rennes 1, 2011. Français. ⟨NNT : 2011REN1E009⟩