E-LIB Suche - Ergebnisse für: Lohar, Debasmita

Lohar, Debasmita ; Darulova, Eva ; Putot, Sylvie.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 37 (2018) 11 - p. 2381-2392 , 2018

Link: https://doi.org/10.1109/..

6

Verifying stability guarantees of control software implemen..:

, In: Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion,

Ghosh, Saurav Kumar ; Lohar, Debasmita ; Das, Dibyendu. - p. 1-2 , 2017

Link: https://dl.acm.org/doi/1..

7

Sound Mixed Fixed-Point Quantization of Neural Networks:

Lohar, Debasmita ; Jeangoudoux, Clothilde ; Volkova, Anastasia.
ACM Transactions on Embedded Computing Systems, 1539-9087, 2023, 22:5, s. 1-26. , 2023

Link: http://urn.kb.se/resolve..

8

A Two-Phase Approach for Conditional Floating-Point Verific..:

Lohar, Debasmita ; Jeangoudoux, Clothilde ; Sobel, Joshua..
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984556/. , 2021

Link: http://www.ncbi.nlm.nih...

9

dlohar/daisy: PrAn:

Eva Darulova ; Debasmita Lohar
https://github.com/dlohar/daisy/tree/v1. , 2023

Link: https://zenodo.org/recor..

10

dlohar/Aster: Aster:

Debasmita Lohar
https://github.com/dlohar/Aster/tree/v1.0. , 2023

Link: https://zenodo.org/recor..

11

dlohar/blossom: Blossom:

Debasmita Lohar
https://github.com/dlohar/blossom/tree/v1.0.0. , 2023

Link: https://zenodo.org/recor..