{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T20:09:39Z","timestamp":1649102979339},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1995,12,1]],"date-time":"1995-12-01T00:00:00Z","timestamp":817776000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliable Comput"],"published-print":{"date-parts":[[1995,12]]},"DOI":"10.1007\/bf02391686","type":"journal-article","created":{"date-parts":[[2006,5,11]],"date-time":"2006-05-11T16:28:32Z","timestamp":1147364912000},"page":"411-419","source":"Crossref","is-referenced-by-count":0,"title":["Design of a parallel linear algebra library for verified computation"],"prefix":"10.1007","volume":"1","author":[{"given":"J. Wolff","family":"von Gudenberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02391686_CR1","series-title":"IMACS Annals on Computing and Applied Mathematics","volume-title":"Computer Arithmetic, Scientific Computation and Mathematical Modelling","author":"G. Bohlender","year":"1992","unstructured":"Bohlender, G. and Wolff von Gudenberg, J.Accurate matrix multiplication on the array processor AMT-DAP. In: Kaucher, Markov, and Mayer (eds) \u201cComputer Arithmetic, Scientific Computation and Mathematical Modelling\u201d, IMACS Annals on Computing and Applied Mathematics 12, Baltzer, Basel, 1992."},{"key":"BF02391686_CR2","doi-asserted-by":"crossref","unstructured":"Choi, J., Dongarra, J., and Walker, D.LAPACK working note 57: PUMMA: parallel universal matrix multiplication algorithms on distributed memory concurrent computers. University of Tenessee, TR CS-93-187, 1993.","DOI":"10.2172\/10180105"},{"key":"BF02391686_CR3","unstructured":"Dongarra, J., Pozo, R., and Walker, D.LAPACK working note 61: an object oriented design for high performance linear algebra on distributed memory architectures. University of Tenessee, TR CS-93-200, 1993."},{"issue":"1","key":"BF02391686_CR4","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/0167-739X(94)90051-5","volume":"10","author":"J. M. J\u00e9z\u00e9quel","year":"1994","unstructured":"J\u00e9z\u00e9quel, J. M., Bergheul, F., and Andr\u00e9, F.Programming massively parallel arcitectures with sequential object oriented languages. FGCS10 (1) (1994), pp. 59\u201370.","journal-title":"FGCS"},{"key":"BF02391686_CR5","volume-title":"PASCAL-XSC-language reference with examples","author":"R. Klatte","year":"1992","unstructured":"Klatte, R., Kulisch, U., Neaga, M., Ratz, D., and Ullrich, Ch.PASCAL-XSC-language reference with examples. Springer, Berlin, 1992."},{"key":"BF02391686_CR6","volume-title":"C-XSC, a C++ class library for extended scientific computing","author":"R. Klatte","year":"1993","unstructured":"Klatte, R., Kulisch, U., Lawo, C., Rauch, M. and Wiethoff, A.C-XSC, a C++ class library for extended scientific computing. Springer, Berlin, 1993."},{"key":"BF02391686_CR7","unstructured":"Reith, R.Wissenschaftliches Rechnen auf Multicomputern\u2014BLAS-Routinen und die L\u00f6sung linearer Gleichungssysteme mit Fehlerkontrolle. Dissertation, Universit\u00e4t Basel, 1993."},{"key":"BF02391686_CR8","volume-title":"Ada: The Choice for \u201992","author":"J. Wolff von Gudenberg","year":"1991","unstructured":"Wolff von Gudenberg, J.Modelling SIMD-type parallel arithmetic operations in Ada. In: Christodoulakis, D. (ed.) \u201cAda: The Choice for \u201992\u201d, LNCS 499, Springer, Berlin, 1991."},{"key":"BF02391686_CR9","volume-title":"Computer Arithmetic and Enclosure Methods","author":"J. Wolff von Gudenberg","year":"1992","unstructured":"Wolff von Gudenberg, J.Accurate matrix operations on hypercube computers. In: Herzberger, J. and Atanassova, L. (eds) \u201cComputer Arithmetic and Enclosure Methods\u201d, North-Holland, Amsterdam, 1992."},{"issue":"2","key":"BF02391686_CR10","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/BF02384054","volume":"1","author":"J. Wolff von Gudenberg","year":"1995","unstructured":"Wolff von Gudenberg, J.Parallel accurate linear algebra subroutines. Reliable Computing1 (2) (1995), pp. 189\u2013199.","journal-title":"Reliable Computing"}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02391686.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02391686\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02391686","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T12:14:58Z","timestamp":1558095298000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02391686"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,12]]},"references-count":10,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1995,12]]}},"alternative-id":["BF02391686"],"URL":"https:\/\/doi.org\/10.1007\/bf02391686","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"value":"1385-3139","type":"print"},{"value":"1573-1340","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,12]]}}}