Zum Inhalt springen

  1. Estibals, Nicolas [Verfasser:in] ; Université de Lorraine [Mitwirkende:r]; Gaudry, Pierrick [Mitwirkende:r]; Detrey, Jérémie [Mitwirkende:r]

    Algorithmes et arithmétique pour l'implémentation de couplages criptographiques ; Algorithms and arithmetic for the implementation of cryptographic pairings

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2013-10-30

  2. Barrois, Benjamin [Verfasser:in] ; Rennes 1 [Mitwirkende:r]; Sentieys, Olivier [Mitwirkende:r]

    Methods to evaluate accuracy-energy trade-off in operator-level approximate computing ; Méthodes d'évaluation du compromis précision-énergie pour le calcul approximatif niveau opérateur

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-12-11

  3. Bigou, Karim [Verfasser:in] ; Rennes 1 [Mitwirkende:r]; Tisserand, Arnaud [Mitwirkende:r]; Guillermin, Nicolas [Mitwirkende:r]

    Étude théorique et implantation matérielle d'unités de calcul en représentation modulaire des nombres pour la cryptographie sur courbes elliptiques ; Theoretical study and hardware implementation of arithmetical units in Residue Number System (RNS) for Elliptic Curve Cryptography (ECC)

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-11-03

  7. Djath, Libey [Verfasser:in] ; Brest [Mitwirkende:r]; Tisserand, Arnaud [Mitwirkende:r]; Bigou, Karim [Mitwirkende:r]

    Accélérateurs matériels RNS flexibles pour la cryptographie asymétrique à haute sécurité ; RNS-Flexible hardware accelerators for high-security asymmetric cryptography

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-05-25

  8. Volkova, Anastasia [Verfasser:in] ; Paris 6 [Mitwirkende:r]; Bajard, Jean-Claude [Mitwirkende:r]; Lauter, Christoph Quirin [Mitwirkende:r]; Hilaire, Thibault [Mitwirkende:r]

    Towards reliable implementation of digital filters ; Vers une implémentation fiable des filtres numériques

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-09-25

  9. Gallois-Wong, Diane [Verfasser:in] ; université Paris-Saclay [Mitwirkende:r]; Boldo, Sylvie [Mitwirkende:r]; Hilaire, Thibault [Mitwirkende:r]

    Formalisation en Coq des algorithmes de filtre numérique calculés en précision finie ; Coq formalization of digital filter algorithms computed using finite precision arithmetic

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-03-04

  12. Panhaleux, Adrien [Verfasser:in] ; Lyon, École normale supérieure [Mitwirkende:r]; Muller, Jean-Michel [Mitwirkende:r]

    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

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2012-06-27

  15. Jeangoudoux, Clothilde [Verfasser:in] ; Sorbonne université [Mitwirkende:r]; Graillat, Stef [Mitwirkende:r]

    Génération automatique de tests logiciels dans le contexte de la certification aéronautique ; Automatic Test Generation for Numerical Software in the Context of Aircraft Certification

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2019-05-21

  16. Bréhard, Florent [Verfasser:in] ; Lyon [Mitwirkende:r]; Joldes, Mioara Maria [Mitwirkende:r]

    Certified numerics in function spaces : polynomial approximations meet computer algebra and formal proof ; Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelle

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2019-07-12

  17. ISO/IEC JTC 1/SC 22 Programmiersprachen, ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces, ISO/CEI JTC 1/SC 22, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation, IEC Internationale Elektrotechnische Kommission, IEC International Electrotechnical Commission, CEI Commission Electrotechnique Internationale

    ISO/IEC TR 24733 : Information technology - Programming languages, their environments and system software interfaces - Extensions for the programming language C++ to support decimal floating-point arithmetic - [2011-11-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Geneve: International Organization for Standardization, 2011

    Erschienen in: ISO-Regelwerk- ISO-Normen

  18. ISO/IEC JTC 1/SC 22 Programmiersprachen, ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces, ISO/CEI JTC 1/SC 22, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation, IEC Internationale Elektrotechnische Kommission, IEC International Electrotechnical Commission, CEI Commission Electrotechnique Internationale

    ISO/IEC TR 18037 : Programming languages - C - Extensions to support embedded processors - [2008-06-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Geneve: International Organization for Standardization, 2008

    Erschienen in: ISO-Regelwerk- ISO-Normen

  20. DKE Deutsche Kommission Elektrotechnik Elektronik Informationstechnik in DIN und VDE, German Commission for Electrical, Electronic and Information Technologies of DIN and VDE, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN 19242-2 : Messen, Steuern, Regeln; Leistungstest von Prozeßrechensystemen; Zeitmessungen; Testfunktion: Multiplikation - [1987-01-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Wien, Zürich: Beuth Verlag, 1987

    Erschienen in: DIN-Regelwerk- Deutsche Normen