{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:40:56Z","timestamp":1743097256008,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642193279"},{"type":"electronic","value":"9783642193286"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19328-6_39","type":"book-chapter","created":{"date-parts":[[2011,2,18]],"date-time":"2011-02-18T10:22:33Z","timestamp":1298024553000},"page":"435-448","source":"Crossref","is-referenced-by-count":2,"title":["Solving Dense Interval Linear Systems with Verified Computing on Multicore Architectures"],"prefix":"10.1007","author":[{"given":"Cleber Roberto","family":"Milani","sequence":"first","affiliation":[]},{"given":"Mariana","family":"Kolberg","sequence":"additional","affiliation":[]},{"given":"Luiz Gustavo","family":"Fernandes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"6","key":"39_CR1","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1511\/2003.6.484","volume":"91","author":"B. Hayes","year":"2003","unstructured":"Hayes, B.: A Lucid Interval. American Scientist\u00a091(6), 484\u2013488 (2003)","journal-title":"American Scientist"},{"key":"39_CR2","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, New York (1997)"},{"key":"39_CR3","doi-asserted-by":"crossref","unstructured":"Kolberg, M., Dorn, M., Bohlender, G., Fernandes, L.G.: Parallel Verified Linear System Solver for Uncertain Input Data. In: Proceedings of 20th SBAC-PAD - International Symposium on Computer Architecture and High Performance Computing, pp. 89\u201396 (2008)","DOI":"10.1109\/SBAC-PAD.2008.10"},{"issue":"1","key":"39_CR4","first-page":"95","volume":"2","author":"R. Kearfott","year":"1996","unstructured":"Kearfott, R.: Interval Computations: Introduction, Uses, and Resources. Euromath Bulletin\u00a02(1), 95\u2013112 (1996)","journal-title":"Euromath Bulletin"},{"key":"39_CR5","doi-asserted-by":"crossref","unstructured":"Demmel, J.: LAPACK: A Portable Linear Algebra Library for Supercomputers. In: Proceedings of IEEE Control Systems Society Workshop on Computer-Aided Control System Design, pp. 1\u20137 (1989)","DOI":"10.1109\/CACSD.1989.69824"},{"issue":"1-2","key":"39_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0010-4655(96)00017-3","volume":"97","author":"J. Choi","year":"1996","unstructured":"Choi, J., Demmel, J., Dhillon, I., Dongarra, J., Ostrouchov, S., Petitet, A., Stanley, K., Walker, D., Whaley, R.: ScaLAPACK: a Portable Linear Algebra Library for Distributed Memory Computers \u2013 Design Issues and Performance. Computer Physics Communications\u00a097(1-2), 1\u201315 (1996)","journal-title":"Computer Physics Communications"},{"key":"39_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"949","DOI":"10.1007\/978-3-540-75755-9_112","volume-title":"Applied Parallel Computing. State of the Art in Scientific Computing","author":"M. Kolberg","year":"2007","unstructured":"Kolberg, M., Baldo, L., Velho, P., Fernandes, L.G., Claudio, D.: Optimizing a Parallel Self-verified Method for Solving Linear Systems. In: K\u00e5gstr\u00f6m, B., Elmroth, E., Dongarra, J., Wa\u015bniewski, J. (eds.) PARA 2006. LNCS, vol.\u00a04699, pp. 949\u2013955. Springer, Heidelberg (2007)"},{"issue":"4","key":"39_CR8","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/s10766-007-0058-x","volume":"36","author":"M. Kolberg","year":"2008","unstructured":"Kolberg, M., Fernandes, L.G., Claudio, D.: Dense Linear System: A Parallel Self-verified Solver. International Journal of Parallel Programming\u00a036(4), 412\u2013425 (2008)","journal-title":"International Journal of Parallel Programming"},{"key":"39_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-75755-9_1","volume-title":"Applied Parallel Computing. State of the Art in Scientific Computing","author":"A. Buttari","year":"2007","unstructured":"Buttari, A., Dongarra, J., Kurzak, J., Langou, J., Luszczek, P., Tomov, S.: The Impact of Multicore on Math Software. In: K\u00e5gstr\u00f6m, B., Elmroth, E., Dongarra, J., Wa\u015bniewski, J. (eds.) PARA 2006. LNCS, vol.\u00a04699, pp. 1\u201310. Springer, Heidelberg (2007)"},{"key":"39_CR10","unstructured":"TOP 500 Supercomputing Home Page, http:\/\/www.top500.org\/ (accessed on December 11, 2009)"},{"key":"39_CR11","doi-asserted-by":"crossref","unstructured":"Agullo, E., Hadri, B., Ltaief, H., Dongarra, J.: Comparative Study of One-Sided Factorizations with Multiple Software Packages on Multi-Core Hardware. LAPACK Working Note 217, ICL, UTK (2009)","DOI":"10.1145\/1654059.1654080"},{"key":"39_CR12","doi-asserted-by":"crossref","unstructured":"Chan, E., Van Zee, F., Bientinesi, P., Quintana-Orti, E., Quintana-Orti, G., van de Geijn, R.: SuperMatrix: a Multithreaded Runtime Scheduling System for Algorithms-by-blocks. In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 123\u2013132 (2008)","DOI":"10.1145\/1345206.1345227"},{"issue":"4","key":"39_CR13","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1145\/504210.504213","volume":"27","author":"J. Gunnels","year":"2001","unstructured":"Gunnels, J., Gustavson, F., Henry, G., van de Geijn, R.: FLAME: Formal Linear Algebra Methods Environment. ACM Transactions on Mathematical Software\u00a027(4), 422\u2013455 (2001)","journal-title":"ACM Transactions on Mathematical Software"},{"issue":"3","key":"39_CR14","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1023\/A:1022374804152","volume":"39","author":"S.M. Rump","year":"1999","unstructured":"Rump, S.M.: Fast and Parallel Interval Arithmetic. BIT Numerical Mathematics\u00a039(3), 534\u2013554 (1999)","journal-title":"BIT Numerical Mathematics"},{"key":"39_CR15","unstructured":"Intel Math Kernel Library Home Page, http:\/\/software.intel.com\/en-us\/intel-mkl\/ (accessed on December 11, 2009)"},{"issue":"3","key":"39_CR16","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1145\/355841.355847","volume":"5","author":"C. Lawson","year":"1979","unstructured":"Lawson, C., Hanson, R., Kincaid, D., Krogh, F.: Basic Linear Algebra Subprograms for Fortran Usage. ACM Transactions on Mathematical Software\u00a05(3), 308\u2013323 (1979)","journal-title":"ACM Transactions on Mathematical Software"},{"key":"39_CR17","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":"39_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"9th PARA - International Workshop on State-of-the-Art in Scientific and Parallel Computing, Trondheim - Noruega. PARA 2008 - Revised Selected Papers","author":"M. Kolberg","year":"2008","unstructured":"Kolberg, M., Cordeiro, D., Bohlender, G., Fernandes, L.G., Goldman, A.: A Multithreaded Verified Method for Solving Linear Systems in Dual-Core Processors. In: 9th PARA - International Workshop on State-of-the-Art in Scientific and Parallel Computing, Trondheim - Noruega. PARA 2008 - Revised Selected Papers. LNCS. Springer, Heidelberg (2008) (to appear)"},{"key":"39_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-540-92859-1_3","volume-title":"High Performance Computing for Computational Science - VECPAR 2008","author":"M. Kolberg","year":"2008","unstructured":"Kolberg, M., Bohlender, G., Claudio, D.M.: Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computing. In: Palma, J.M.L.M., Amestoy, P.R., Dayd\u00e9, M., Mattoso, M., Lopes, J.C. (eds.) VECPAR 2008. LNCS, vol.\u00a05336, pp. 13\u201326. Springer, Heidelberg (2008)"},{"key":"39_CR20","volume-title":"Programming with POSIX Threads","author":"D.R. Butenhof","year":"1997","unstructured":"Butenhof, D.R.: Programming with POSIX Threads. Addison-Wesley Longman Publishing Co., Inc., Boston (1997)"},{"issue":"1-3","key":"39_CR21","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0024-3795(00)00195-6","volume":"324","author":"S.M. Rump","year":"2001","unstructured":"Rump, S.M.: Self-validating Methods. Linear Algebra and Its Applications\u00a0324(1-3), 3\u201313 (2001)","journal-title":"Linear Algebra and Its Applications"},{"key":"39_CR22","unstructured":"ANSI\/IEEE. A Standard for Binary Floating-point Arithmetic, Std.754-1985. American National Standards Institute \/ Institute of Electrical and Eletronics Engineers. USA (1985)"},{"key":"39_CR23","unstructured":"PLASMA README, http:\/\/icl.cs.utk.edu\/projectsfiles\/plasma\/html (accessed on April 8, 2010)"}],"container-title":["Lecture Notes in Computer Science","High Performance Computing for Computational Science \u2013 VECPAR 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19328-6_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T13:04:16Z","timestamp":1559999056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19328-6_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642193279","9783642193286"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19328-6_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}