Scientific Computing with Automatic Result Verification
Scientific Computing with Automatic Result Verification
Computer Arithmetic in Theory and Practice
Computer Arithmetic in Theory and Practice
The T Experiments: Errors In Scientific Software
IEEE Computational Science & Engineering
The Program of Grand Challenge Problems: Expectations and Results
PAS '97 Proceedings of the 2nd AIZU International Symposium on Parallel Algorithms / Architecture Synthesis
A Critical Look at Quality in Large-Scale Simulations
Computing in Science and Engineering
Teraflops Computing: A Challenge to Parallel Numerics?
ParNum '99 Proceedings of the 4th International ACPC Conference Including Special Tracks on Parallel Numerics and Parallel Computing in Image Processing, Video Processing, and Multimedia: Parallel Computation
Hi-index | 0.00 |
The Advanced Strategic Computing Initiative aims to replace physical nuclear-weapons testing with computer simulations. This focuses much-needed attention on an issue common to all Grand Challenge computation programs: How do you get confidence, as opposed to mere guidance or suggestion, out of a computer simulation? Making the simulation of some physical phenomena rigorous and immune to the usual discretization and rounding errors is computationally expensive and practiced by a vanishing, small fraction of the HPCC community. Some of ASCI's proposed computing power should be placed not into brute-force increases in particle counts, mesh densities, or finer time steps, but into methods that increase confidence in the answers it produces. This will place the debate over ASCI's validity on scientific instead of political grounds.