Automated Error Analysis of Numerical Kernels for High-Consequence Systems with Frama-C
Samuel Pollard
Automated Error Analysis of Numerical Kernels for High-Consequence Systems with Frama-C
9:52
Techniques for Verifying the Correctness of Assembly Languages and Floating-Point Programs
Samuel Pollard
Techniques for Verifying the Correctness of Assembly Languages and Floating-Point Programs
46:47
Introduction to Floating-Point Error Analysis
Samuel Pollard
Introduction to Floating-Point Error Analysis
37:06
A Statistical Analysis of Error in MPI Reduction Operations
Samuel Pollard
A Statistical Analysis of Error in MPI Reduction Operations
18:13
Verification Techniques for Low-Level Programs
Samuel Pollard
Verification Techniques for Low-Level Programs
51:25
Verification Techniques for Low-Level Programs
Samuel Pollard
Verification Techniques for Low-Level Programs