Design of a parallel linear algebra library for verified computation

Abstract

O6cy~g.Ra~OTC~ npMHuHnr~ nocTpoeHHfl H peamf3au.Ha6opa JiHHe~Ho-a:lre6paHqecK}lx uolmporpaMM nepeHOCUMOfi 6HrJIHOTeKI4 ~Jl~l napannenba~x gOMnhloTepoB, rIoa~.epx<anaeTca nOBTOpHOe HCHOJU~3OBaHHe Ko;aa. rloanporpaMM~ MOryT ~erKo a/laUVMpOBaThC~ K HOB1AM napa~arMaM napa~eabHoro nporpaMMHpOBaH~l~l I4 CeTeBhIM KOH~FypauH.qM. l'loanporpaMMl, i npenHa3HaqeHH 2Lrl… (More)
DOI: 10.1007/BF02391686

Topics

Cite this paper

@article{Gudenberg1995DesignOA, title={Design of a parallel linear algebra library for verified computation}, author={J{\"{u}rgen Wolff von Gudenberg}, journal={Reliable Computing}, year={1995}, volume={1}, pages={411-419} }