{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T14:15:40Z","timestamp":1648995340800},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliable Comput"],"published-print":{"date-parts":[[1996,6]]},"DOI":"10.1007\/bf02425911","type":"journal-article","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T11:35:57Z","timestamp":1149680157000},"page":"103-109","source":"Crossref","is-referenced-by-count":0,"title":["Errors in vector processing and the library libavi.a"],"prefix":"10.1007","volume":"2","author":[{"given":"Tiaraj\u00fa A.","family":"Diverio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ursula A.","family":"Fernandes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dalcidio M.","family":"Claudio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02425911_CR1","first-page":"87","volume-title":"Scientific Computing with Automatic Result Verification","author":"G. Bohlender","year":"1992","unstructured":"Bohlender, G., Cordes, D., Kn\u00f6fel, A., Kulisch, U., Lohner, R., and Walter, W. V.Proposal for accurate floating-point vector arithmetic. In: Adams, E. and Kulisch, U. (eds) \u201cScientific Computing with Automatic Result Verification\u201d, Academic Press, Orlando, 1992, pp. 87\u2013102."},{"key":"BF02425911_CR2","volume-title":"Uso efetivo da matem\u00e1tica intervalar em supercomputadores vetoriais","author":"T. A. Diverio","year":"1995","unstructured":"Diverio, T. A.Uso efetivo da matem\u00e1tica intervalar em supercomputadores vetoriais. Ph.D. thesis, Porto Alegre: CPGCC-UFRGS, 1995."},{"key":"BF02425911_CR3","unstructured":"Fernandes, U. A. L. and Diverio, T. A.Fallas en los calculos utilizando procesamiento vetorial. In: \u201cCITA 95, Assuncion, 7\u201311, August 1995\u201d."},{"key":"BF02425911_CR4","unstructured":"Hammer, R.How reliable is the arithmetic of vector computers? In: Ullrich, Ch. (ed.) \u201cContributions to Computer Arithmetic and Self-Validating Numerical Methods\u201d, IMACS Annals on Computing and Applied Mathematics 7, J.C. Baltzer, 1990, pp. 467\u2013482."},{"key":"BF02425911_CR5","volume-title":"Numerical toolbox for verified computing I: basic numerical problems","author":"R. Hammer","year":"1992","unstructured":"Hammer, R., Hocks, M., Kulisch, U., and Ratz, D.Numerical toolbox for verified computing I: basic numerical problems. Springer-Verlag, Berlin, 1992."},{"key":"BF02425911_CR6","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. Berlin, Springer-Verlag, 1992."}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BF02425911","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2013,2,11]],"date-time":"2013-02-11T19:13:34Z","timestamp":1360610014000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02425911"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6]]},"references-count":6,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,6]]}},"alternative-id":["BF02425911"],"URL":"https:\/\/doi.org\/10.1007\/bf02425911","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"value":"1385-3139","type":"print"},{"value":"1573-1340","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,6]]}}}