Amanote Research
Register
Sign In
Towards Self-Verification in Finite Difference Code Generation
doi 10.1145/3145344.3145488
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2017
Authors
Jan Hückelheim
Ziqing Luo
Fabio Luporini
Navjot Kukreja
Michael Lange
Gerard Gorman
Stephen Siegel
Matthew Dwyer
Paul Hovland
Publisher
ACM Press
Related search
Formal Proofs of Code Generation and Verification Tools
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Code-To-Code Verification for Thermal Models of Melting and Solidification in a Metal Alloy: Comparisons Between a Finite Volume Method and a Finite Element Method
Mechanical Sciences
Control
Systems Engineering
Industrial
Mechanical Engineering
Civil
Fluid Flow
Structural Engineering
Manufacturing Engineering
Mechanics of Materials
Transfer Processes
Self-Optimisation Using Runtime Code Generation for Wireless Sensor Networks
Finite-Difference Modelling of Self-Propagating High-Temperature Synthesis of Materials
Acta Metallurgica et Materialia
Consistent Metrics for Code Verification
Entanglement Verification With Finite Data
Physical Review Letters
Astronomy
Physics
GB Code: A Grain Boundary Generation Code
Journal of Open Source Software
Multiplicative Finite Difference Methods
Quarterly of Applied Mathematics
Applied Mathematics
SOC Code: Lagrangian, Finite-Difference Calculational Technique in One-Dimensional Symmetry. [In Modified Fortran IV for CDC 7600]
