{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:52:17Z","timestamp":1725501137469},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540757542"},{"type":"electronic","value":"9783540757559"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75755-9_112","type":"book-chapter","created":{"date-parts":[[2007,9,22]],"date-time":"2007-09-22T02:44:54Z","timestamp":1190429094000},"page":"949-955","source":"Crossref","is-referenced-by-count":4,"title":["Optimizing a Parallel Self-verified Method for Solving Linear Systems"],"prefix":"10.1007","author":[{"given":"Mariana","family":"Kolberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucas","family":"Baldo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro","family":"Velho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luiz Gustavo","family":"Fernandes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dalcidio","family":"Claudio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"112_CR1","first-page":"1","volume-title":"Computer Arithmetic and Self-validating Numerical Methods","author":"G. Bohlender","year":"1990","unstructured":"Bohlender, G.: What Do We Need Beyond IEEE Arithmetic? In: Computer Arithmetic and Self-validating Numerical Methods, pp. 1\u201332. Academic Press, San Diego (1990)"},{"key":"112_CR2","unstructured":"Grimmer, M.: An MPI Extension for the Use of C-XSC in Parallel Environments. Technical report, Wissenschaftliches Rechnen \/ Softwaretechnologie, Wuppertal, DE (2005), \n                      \n                        http:\/\/www.math.uni-wuppertal.de\/wrswt\/literatur.html"},{"key":"112_CR3","volume-title":"C++ Toolbox for Verified Scientific Computing I: Basic Numerical Problems","author":"R. Hammer","year":"1997","unstructured":"Hammer, R., Ratz, D., Kulisch, U., Hocks, M.: C++ Toolbox for Verified Scientific Computing I: Basic Numerical Problems. Springer, Heidelberg (1997)"},{"key":"112_CR4","unstructured":"INTLAB. INTerval LABoratory, \n                      \n                        http:\/\/www.ti3.tu-harburg.de\/~rump\/intlab\/"},{"key":"112_CR5","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, R., Wiethoff, A.: C-XSC- A C++ Class Library for Extended Scientific Computing. Springer, Heidelberg (1993)"},{"key":"112_CR6","unstructured":"Kolberg, M., Baldo, L., Velho, P., Webber, T., Fernandes, L.F., Fernandes, P., Claudio, D.: Parallel Selfverified Method for Solving Linear Systems. In: 7\n                      th\n                     VECPAR - International Meeting on High Performance Computing for Computational Science, 2006 (to appear)"},{"key":"112_CR7","series-title":"Lecture Notes in Computer Science","first-page":"152","volume-title":"2004 IEEE International Symposium on Computer Aided Control Systems Design","author":"T. Ogita","year":"2004","unstructured":"Ogita, T., Rump, S.M., Oishi, S.: Accurate Sum and Dot Product with Applications. In: 2004 IEEE International Symposium on Computer Aided Control Systems Design, Taipei, Taiwan, September 2004. LNCS, pp. 152\u2013155. IEEE Press, Los Alamitos (2004)"},{"issue":"6","key":"112_CR8","doi-asserted-by":"publisher","first-page":"1955","DOI":"10.1137\/030601818","volume":"26","author":"T. Ogita","year":"2005","unstructured":"Ogita, T., Rump, S.M., Oishi, S.: Accurate Sum and Dot Product. SIAM Journal on Scientific Computing\u00a026(6), 1955\u20131988 (2005)","journal-title":"SIAM Journal on Scientific Computing"},{"key":"112_CR9","unstructured":"Rump, S.M.: Kleine Fehlerschranken bei Matrixproblemen. PhD thesis, University of Karlsruhe, Germany (1980)"},{"key":"112_CR10","volume-title":"MPI: The Complete Reference","author":"M. Snir","year":"1996","unstructured":"Snir, M., Otto, S., Huss-Lederman, S., Walker, D.W., Dongarra, J.: MPI: The Complete Reference. MIT Press, Cambridge, MA (1996)"}],"container-title":["Lecture Notes in Computer Science","Applied Parallel Computing. State of the Art in Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75755-9_112","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:32:14Z","timestamp":1558276334000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75755-9_112"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540757542","9783540757559"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75755-9_112","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}