Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    PRECiSA: From Real Specifications to Floating-point Implementations


    Contributors:

    Conference:

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


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    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