Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    PRECiSA: From Real Specifications to Floating-point Implementations


    Beteiligte:
    Laura Titolo (Autor:in) / Mariano Moscato (Autor:in) / Marco Feliu (Autor:in)

    Kongress:

    NIA Summer Picnic & Research Fair ; 2022 ; Hampton, VA, US


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Reflow: From Real Number Specifications to Floating-Point Implementations

    L. Titolo / M. Moscato / M. Feliu et al. | NTIS | 2023



    VSCode-PRECiSA: a Toolkit for Floating-Point Round-Off Error Analysis

    Paolo Masci / Laura Titolo / Mariano Moscato et al. | NTRS



    Calibracion precisa de camaras con modelo de distorsion y reconstruccion robusta de coordenadas tridimensionales

    Masmoudi, L. / Lopez Coronado, J. / Gomez Garcia-Bermejo, J. | British Library Online Contents | 1995