Searching for authors named "Matthieu Martel" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Communication Topology Analysis for Concurrent Programs
- …Communication Topology Analysis for Concurrent Programs Matthieu Martel and Marc Gengler…
- Cited by 2 (0 self) – Add To MetaCart
-
An overview of semantics for the validation of numerical programs
- …An Overview of Semantics for the Validation of Numerical Programs Abstract Matthieu Martel CEA…
- Cited by 7 (2 self) – Add To MetaCart
-
Propagation of roundoff errors in finite precision computations: a semantics approach
- …Propagation of Roundoff Errors in Finite Precision Computations: a Semantics Approach 1 Matthieu…
- Cited by 7 (3 self) – Add To MetaCart
-
Semantics of roundoff error propagation in finite precision computations
- …Semantics of Roundoff Error Propagation in Finite Precision Calculations Matthieu Martel (matthieu.martel…
- Cited by 3 (1 self) – Add To MetaCart
-
Improving the Static Analysis of Loops
- …Improving the Static Analysis of Loops by Dynamic Partitioning Techniques Matthieu Martel CEA…
- Add To MetaCart
-
Static Analysis-Based Validation of FloatingPoint Computations
- … Goubault and Matthieu Martel CEA Saclay Software Safety Laboratory Sylvie.Putot@(email omitted); Dagstuhl Seminar…
- Cited by 7 (4 self) – Add To MetaCart
Showing 1 through 6.
