{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T09:16:56Z","timestamp":1648718216182},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,4,1]],"date-time":"2006-04-01T00:00:00Z","timestamp":1143849600000},"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":[[2006,4]]},"DOI":"10.1007\/s11155-006-4872-4","type":"journal-article","created":{"date-parts":[[2005,12,7]],"date-time":"2005-12-07T14:44:53Z","timestamp":1133966693000},"page":"141-151","source":"Crossref","is-referenced-by-count":2,"title":["Efficient Task Scheduling in the Parallel Result-Verifying Solution of Nonlinear Systems"],"prefix":"10.1007","volume":"12","author":[{"given":"Thomas","family":"Beelitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Lang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian H.","family":"Bischof","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4872_CR1","unstructured":"An Mey, D.: Two OpenMP Programming Patterns, in: An Mey, D. (ed.), Proc. EWOMP '03, September 22\u201326, 2003, Aachen, Germany, Aachen, 2004, pp. 51\u201360."},{"key":"4872_CR2","unstructured":"Babichev, A. B., Kashevarova, T. P., Leshchenko, A. S., and Semenov, A. L.: UniCalc: An Intelligent Solver for Mathematical Problems, in: Proc. of the East-West Conference on Artificial Intelligence: From Theory to Practice (EWAIC'93), Moscow, 1993, pp. 257\u2013260."},{"key":"4872_CR3","doi-asserted-by":"crossref","first-page":"632","DOI":"10.1002\/pamm.200410297","volume":"4","author":"T. Beelitz","year":"2004","unstructured":"Beelitz, T., Bischof, C. H., and Lang, B.: A Hybrid Subdivision Strategy for Result-Verifying Nonlinear Solvers, in: Proc. Applied Mathematics and Mechanics (PAMM), Vol. 4, 2004, pp. 632\u2013633.","journal-title":"Proc. Applied Mathematics and Mechanics (PAMM)"},{"key":"4872_CR4","unstructured":"Beelitz, T., Bischof, C. H., and Lang, B.: Intervals and OpenMP: Towards an Efficient Parallel Result-Verifying Nonlinear Solver, in: An Mey, D. (ed.), Proc. EWOMP '03, September 22\u201326, 2003, Aachen, Germany, Aachen, 2003, pp. 119\u2013125."},{"key":"4872_CR5","unstructured":"Beelitz, T., Bischof, C. H., Lang, B., and Willems, P.: SONIC\u2014A Framework for the Rigorous Solution of Nonlinear Problems, Preprint BUW-SC 04\/7, 2004."},{"key":"4872_CR6","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/978-1-4757-6484-0_25","volume-title":"Scientific Computing, Validated Numerics, Interval Methods","author":"C. H. Bischof","year":"2001","unstructured":"Bischof, C. H., Lang, B., Marquardt, W., and M\u00f6nnigmann, M.: Verified Determination of Singularities in Chemical Processes, in: Kr\u00e4mer, W. and Wolff von Gudenberg, J. (eds): Scientific Computing, Validated Numerics, Interval Methods, Kluwer Academic\/Plenum Publishers, New York, 2001, pp. 305\u2013316."},{"key":"4872_CR7","unstructured":"GlobSol home page: http:\/\/www.mcsu.mu.edu\/~globsol."},{"key":"4872_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5034-0","volume-title":"Singularities and Groups in Bifurcation Theory, Volume I","author":"M. Golubitsky","year":"1985","unstructured":"Golubitsky, M. and Schaeffer, D. G.: Singularities and Groups in Bifurcation Theory, Volume I, Springer-Verlag, New York, 1985."},{"key":"4872_CR9","unstructured":"Hammer, R., Hocks, M., Kulisch, U., and Ratz, D.: C++ Toolbox for Verified Computing\u2014Basic Numerical Problems, Springer-Verlag, Heidelberg, 1995."},{"key":"4872_CR10","doi-asserted-by":"crossref","unstructured":"Hofschuster, W. and Kr\u00e4mer, W.: C-XSC 2.0\u2014A C++ Library for Extended Scientific Computing, in: Alt, R. et al. (eds): Numerical Software with Result Verification, LNCS 2991, Springer, Heidelberg, pp. 15\u201335.","DOI":"10.1007\/978-3-540-24738-8_2"},{"key":"4872_CR11","unstructured":"Hofschuster, W., Kr\u00e4mer, W., Lerch, M., Tischler, G., and Wolff von Gudenberg, J.: filib-++\u2014A Fast Interval Library Supporting Containment Computations, to appear in ACM Trans. Math. Software, 2006."},{"key":"4872_CR12","unstructured":"Intel Corporation: KAI C++ User's Guide, 2001, http:\/\/www.kai.com\/kpts\/-guide."},{"key":"4872_CR13","unstructured":"Intel Corporation: Intel C++ Compiler User's Guide, 2003, http:\/\/developer.intel.com\/software\/products\/compilers."},{"key":"4872_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2495-0","volume-title":"Rigorous Global Search: Continuous Problems","author":"R. B. Kearfott","year":"1996","unstructured":"Kearfott, R. B.: Rigorous Global Search: Continuous Problems, Kluwer Academic Publishers, Dordrecht, 1996."},{"issue":"5","key":"4872_CR15","doi-asserted-by":"crossref","first-page":"2076","DOI":"10.1137\/S0036142903436174","volume":"42","author":"Y. Lebbah","year":"2005","unstructured":"Lebbah, Y., Michel, C., Rueher, M., Daney, D., and Merlet, J.-R: Efficient and Safe Global Constraints for Handling Numeric Constraint Systems, SIAM J. Numer. Anal. 42 (5) (2005), pp. 2076\u20132097.","journal-title":"SIAM J. Numer. Anal."},{"key":"4872_CR16","unstructured":"Message Passing Interface Forum: MPI: A Message-Passing Interface Standard, 1994, http:\/\/www.mpi-forum.org."},{"key":"4872_CR17","unstructured":"Message Passing Interface Forum: MPI-2: Extensions to the Message-Passing Interface, 1997, http:\/\/www.mpi-forum.org."},{"key":"4872_CR18","unstructured":"M\u00f6nnigmann, M., Marquardt, W., Bischof, C. H., Beelitz, T., Lang, B., and Willems, P.: A Hybrid Approach for Efficient Robust Design of Dynamic Systems, Preprint BUW-SC 2004\/9, 2004."},{"key":"4872_CR19","volume-title":"Interval Methods for Systems of Equations","author":"A. Neumaier","year":"1990","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations, Cambridge University Press, Cambridge, 1990."},{"key":"4872_CR20","unstructured":"Sun Microsystems: Sun Studio 9: C++ Interval Arithmetic Programming Reference, http:\/\/docs.sun.com\/app\/docs\/doc\/817\u20136705."},{"key":"4872_CR21","volume-title":"Symbolisch-numerische Techniken zum verifizierten Losen nichtlinearer Gleichungs- systeme","author":"P. Willems","year":"2004","unstructured":"Willems, P.: Symbolisch-numerische Techniken zum verifizierten L\u00f6sen nichtlinearer Gleichungs- systeme, Diplomarbeit, RWTH Aachen University, 2004."}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11155-006-4872-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11155-006-4872-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11155-006-4872-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T04:31:34Z","timestamp":1559363494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11155-006-4872-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,4]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,4]]}},"alternative-id":["4872"],"URL":"https:\/\/doi.org\/10.1007\/s11155-006-4872-4","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"value":"1385-3139","type":"print"},{"value":"1573-1340","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,4]]}}}