Last update: Fri Mar 2 02:05:28 MST 2018
@Article{Gustafson:1998:CVF,
author = "John Gustafson",
title = "Computational Verifiability and Feasibility of the
{ASCI} Program",
journal = j-IEEE-COMPUT-SCI-ENG,
volume = "5",
number = "1",
pages = "36--45",
month = jan # "\slash " # mar,
year = "1998",
CODEN = "ISCEE4",
DOI = "https://doi.org/10.1109/99.660304",
ISSN = "1070-9924 (print), 1558-190X (electronic)",
ISSN-L = "1070-9924",
bibdate = "Sat Jan 9 08:57:23 MST 1999",
bibsource = "http://www.math.utah.edu/pub/tex/bib/ieeecomputscieng.bib",
note = "Discusses recent progress in interval arithmetic and
its relevance to error estimation in very large
computations of the type envisioned for the US ASCI
(Advanced Strategic Computing Initiative) project.",
URL = "http://dlib.computer.org/cs/books/cs1998/pdf/c1036.pdf;
http://www.computer.org/cse/cs1998/c1036abs.htm",
abstract = "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.",
acknowledgement = ack-nhfb,
fjournal = "IEEE Computational Science \& Engineering",
journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=99",
}