Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Matthew Dwyer
Towards Self-Verification in Finite Difference Code Generation
Related publications
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]
