Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Vedrine, Franck"'
Autor:
Jacquemin, Maxime, Maurica, Fonenantsoa, Kosmatov, Nikolai, Signoles, Julien, Védrine, Franck
Verification of numerical accuracy properties in modern software remains an important and challenging task. This paper describes an original framework combining different solutions for numerical accuracy. First, we extend an existing runtime verifica
Externí odkaz:
http://arxiv.org/abs/1911.10930
Autor:
Defour, David, Févotte, François, Graillat, Stef, Jézéquel, Fabienne, Kirschenmann, Wilfried, Lamotte, Jean-Luc, Lathuilière, Bruno, Lhuillier, Yves, Petit, Eric, Signoles, Julien, Devan, Sohier, Vedrine, Franck
Publikováno v:
ISC-HPC 2021 DIGITAL
ISC-HPC 2021 DIGITAL, Jun 2021, Online, France
ISC-HPC 2021 DIGITAL, Jun 2021, Online, France
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::351b0b01094993267a4310c4a4b984d9
https://hal.archives-ouvertes.fr/hal-03245586/document
https://hal.archives-ouvertes.fr/hal-03245586/document
Autor:
Vedrine Franck, Marteau Helene, Sadmi Franck, Prevosto Virgile, Duboc Lucas, Kirchner Florent, Flanc Sebastien
Publikováno v:
Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016)
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016)
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
HAL
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016)
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
HAL
As the development of ship software systems has followed the growth curve of digital technologies, Marine & Offshore assessors like BUREAU VERITAS, are lacking dedicated software standards and tools which are available to other industrial sectors lik
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::db5b99ec85969fe44b91a3c98949c739
https://hal.science/hal-01292258/document
https://hal.science/hal-01292258/document
Autor:
Ménard, Daniel, Rocher, Romuald, Sentieys, Olivier, Simon, Nicolas, Didier, Laurent-Stéphane, Hilaire, Thibault, Lopez, Benoît, Goubault, Eric, Putot, Sylvie, Vedrine, Franck, Najahi, Mohamed Amine, Revy, Guillaume, Fangain, Laurent, Samoyeau, Christian, Lemonnier, Fabrice, Clienti, Christophe
Publikováno v:
DASIP: Design and Architectures for Signal and Image Processing
DASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany., pp.365-366, 2012
DASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.365-366, 2012
DASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany., pp.365-366, 2012
DASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.365-366, 2012
International audience; Embedded applications are usually coming with stringent constraints in term of cost, energy consumption and real-time. Consequently, fixed-point arithmetic is mainstream for their implementation into embedded systems. Hence, t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::130eee4e755db9d295b860161c765341
https://hal.archives-ouvertes.fr/hal-00822487
https://hal.archives-ouvertes.fr/hal-00822487
Publikováno v:
Computer Aided Verification (9783642026577); 2009, p620-626, 7p
