Zobrazeno 1 - 10
of 95
pro vyhledávání: '"arithmétique des ordinateurs"'
La transposition informatique d'un algorithme mathématique en un programme informatique suppose la prise en compte des contraintes de la modélisation computable induites par l'utilisation d'ensembles numériques finis aux propriétés réduites (en
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::bb339f6b0f11742ef5eef70c0983b396
https://hal.science/hal-04117901
https://hal.science/hal-04117901
Autor:
Dorra Ben Khalifa
Publikováno v:
Computer Arithmetic. Université de Perpignan, 2021. English. ⟨NNT : 2021PERP0026⟩
Dorra Ben Khalifa
HAL
Dorra Ben Khalifa
HAL
Although users of High Performance Computing (HPC) are most interested in raw performance, both storage costs and power consumption have become critical concerns. This is due to several technological issues such as the power limitation of processors
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2a0701d91b022431921c82e9f4c3d319
https://tel.archives-ouvertes.fr/tel-03509266
https://tel.archives-ouvertes.fr/tel-03509266
Autor:
Djath, Libey
Publikováno v:
Cryptography and Security [cs.CR]. Université de Bretagne occidentale-Brest, 2021. English. ⟨NNT : 2021BRES0030⟩
Asymmetric cryptosystems are implemented in RNS using a quantity of hardware resources corresponding to the size of the cryptographic operands. In this thesis we propose a new approach to perform RNS implementations of asymmetric cryptosystems that l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::45a06a2ec2c22c468938b8811ba82941
https://tel.archives-ouvertes.fr/tel-03393289/file/These-2021-MATHSTIC-Informatique-DJATH_Libey.pdf
https://tel.archives-ouvertes.fr/tel-03393289/file/These-2021-MATHSTIC-Informatique-DJATH_Libey.pdf
Autor:
Gallois-Wong, Diane
Publikováno v:
Traitement du signal et de l'image [eess.SP]. Université Paris-Saclay, 2021. Français. ⟨NNT : 2021UPASG016⟩
Digital filters have numerous applications, from telecommunications to aerospace. To be used in practice, a filter needs to be implemented using finite precision (floating- or fixed-point arithmetic). Resulting rounding errors may become especially p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d67d47cbfa807e6c0103f8da9c707159
https://tel.archives-ouvertes.fr/tel-03202580/file/95780_GALLOIS-WONG_2021_archivage.pdf
https://tel.archives-ouvertes.fr/tel-03202580/file/95780_GALLOIS-WONG_2021_archivage.pdf
Publikováno v:
Numerische Mathematik. 137:895-922
We develop an iterative algorithm to recover the minimum p-norm solution of the functional linear equation $$Ax = b,$$ where $$A: \mathcal {X}\longrightarrow \mathcal {Y}\,$$ is a continuous linear operator between the two Banach spaces $$\mathcal {X
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::63c3ec437fe859f801e8aee64c2c25a6
https://doi.org/10.1007/s00211-017-0893-7
https://doi.org/10.1007/s00211-017-0893-7
Publikováno v:
ACM Transactions on Computational Logic
ACM Transactions on Computational Logic, Association for Computing Machinery, 2019, 21 (2), pp.0. ⟨10.1145/3365833⟩
ACM Transactions on Computational Logic, Association for Computing Machinery, 2019, 21 (2), pp.0. ⟨10.1145/3365833⟩
We consider intuitionistic variants of linear temporal logic with `next', `until' and `release' based on expanding posets: partial orders equipped with an order-preserving transition function. This class of structures gives rise to a logic which we d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::134376c1971c169075a14bfb38a842cb
https://hal.archives-ouvertes.fr/hal-02881840/file/balbiani_26276.pdf
https://hal.archives-ouvertes.fr/hal-02881840/file/balbiani_26276.pdf
Autor:
Uguen, Yohann
Publikováno v:
Computer Arithmetic. INSA Lyon, 2019. English
High-level synthesis (HLS) tools offer increased productivity regarding FPGA programming.However, due to their relatively young nature, they still lack many arithmetic optimizations.This thesis proposes safe arithmetic optimizations that should alway
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::4e2934895709d4d0564c8f2484b339e9
https://hal.archives-ouvertes.fr/tel-02420901/file/manuscript.pdf
https://hal.archives-ouvertes.fr/tel-02420901/file/manuscript.pdf
Autor:
Bréhard, Florent
Le calcul rigoureux vise à produire des représentations certifiées pour les solutions de nombreux problèmes, notamment en analyse fonctionnelle, comme des équations différentielles ou des problèmes de contrôle optimal. En effet, certains doma
Externí odkaz:
http://www.theses.fr/2019LYSEN032/document
Autor:
Joldes, Mioara Maria
Publikováno v:
Automatic. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2019
National audience; When computing with finite precision, one strives to achieve accurate and/or guaranteed results without compromising efficiency. For this, we combine symbolic and numerical computation, which leads to the development of specific ne
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::2a72686470c87399509889eb3c708e52
https://hal.laas.fr/tel-02178705
https://hal.laas.fr/tel-02178705
Autor:
Joldes, Mioara Maria
Publikováno v:
Automatic. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2019
National audience; When computing with finite precision, one strives to achieve accurate and/or guaranteed results without compromising efficiency. For this, we combine symbolic and numerical computation, which leads to the development of specific ne
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2a72686470c87399509889eb3c708e52
https://hal.laas.fr/tel-02178705
https://hal.laas.fr/tel-02178705