Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
News
Jobs & internships
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Light
Dark
Automatic
Improving the Numerical Accuracy of Parallel Programs by Data Mapping
Farah Benmouhoub
,
Matthieu Martel
,
Pierre-Loic Garoche
January 2019
Cite
Type
Conference paper
Publication
Numerical and Symbolic Abstract Domains, NSAD'19. Porto, Portugal.
"workshop"
"own"
Farah Benmouhoub
ATER Sorbonne Université
Matthieu Martel
Professor at Univ. of Perpignan
Related
CoCoSim: an automated analysis framework for Simulink/Stateflow
Bridging the Gap Between Requirements and Simulink Model Analysis
Guaranteed Simulation of Dynamical Systems with Integral Constraints & Application on Delayed Dynamical Systems
Automatic Generation and Formal Verification of an Interior Point Method Algorithm
Hierarchical State Machines as Modular Horn Clauses
Cite
×