{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T07:04:31Z","timestamp":1761894271986,"version":"3.32.0"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,6,1]],"date-time":"2006-06-01T00:00:00Z","timestamp":1149120000000},"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,6]]},"DOI":"10.1007\/s11155-006-7220-9","type":"journal-article","created":{"date-parts":[[2006,4,15]],"date-time":"2006-04-15T23:50:34Z","timestamp":1145145034000},"page":"225-237","source":"Crossref","is-referenced-by-count":22,"title":["Hardware Support for Interval Arithmetic"],"prefix":"10.1007","volume":"12","author":[{"given":"Reinhard","family":"Kirchner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrich W.","family":"Kulisch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7220_CR1","doi-asserted-by":"crossref","unstructured":"Akkas, A.: A Combined Interval and Floating-Point Comparator\/Selector, in: IEEE 13th Inter-national Conference on Application-Specific Systems, Architectures and Processors, San Jose, 2002, pp. 208\u2013217.","DOI":"10.1109\/ASAP.2002.1030720"},{"key":"7220_CR2","unstructured":"Akkas, A.: Instruction Set Enhancements for Reliable Computations, Ph.D. Dissertation, Lehigh University, 2002."},{"key":"7220_CR3","unstructured":"Chiriaev, D. and Walster, G. W.: Interval Arithmetic Specification, 1998, http:\/\/www.mscs.mu.edu\/globsol\/readings.html."},{"key":"7220_CR4","volume-title":"The IAX Architecture-Interval Arithmetic Extension, Report No. 225","author":"R. Kolla","year":"1999","unstructured":"Kolla, R., Vodopivec, A., and Wolff von Gudenberg, J.: The IAX Architecture-Interval Arithmetic Extension, Report No. 225, Institut f\u00fcr Informatik, Universit\u00e4t Wuerzburg, 1999."},{"key":"7220_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-0525-2","volume-title":"Advanced Arithmetic for the Digital Computer-Design of Arithmetic Units","author":"U. Kulisch","year":"2002","unstructured":"Kulisch, U.: Advanced Arithmetic for the Digital Computer\u2014Design of Arithmetic Units, Springer-Verlag, Wien, New York, 2002."},{"key":"7220_CR6","volume-title":"Grundlagen des numerischen Rechnens-Mathematische Begrndung der Rechnerarithmetik","author":"U. Kulisch","year":"1976","unstructured":"Kulisch, U.: Grundlagen des numerischen Rechnens-Mathematische Begrndung der Rechnerarithmetik, Bibiographisches Institut, Mannheim, Wien, Zuerich, 1976."},{"key":"7220_CR7","unstructured":"Kulisch, U.: Interval Arithmetic Revisited, published in [5] and [8]."},{"volume-title":"Perspectives on Enclosure Methods","year":"2001","key":"7220_CR8","unstructured":"Kulisch, U. W., Lohner, R., and Facius, A. (eds): Perspectives on Enclosure Methods, Springer-Verlag, Wien, New York, 2001."},{"key":"7220_CR9","doi-asserted-by":"crossref","unstructured":"Kulisch, U. and Miranker, W. L.: Computer Arithmetic in Theory and Practice, Academic Press, 1981.","DOI":"10.1016\/B978-0-12-428650-4.50009-9"},{"issue":"5","key":"7220_CR10","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1109\/12.859535","volume":"49","author":"M. J. Schulte","year":"2000","unstructured":"Schulte, M. J. and Swartzlander, E. E. Jr.: A Family of Variable-Precision, Interval Arithmetic Processor, IEEE Transactions on Computers 49 (5) (2000), pp. 387\u2013398.","journal-title":"IEEE Transactions on Computers"},{"key":"7220_CR11","unstructured":"Stine, J. E.: Design Issues for Accurate and Reliable Arithmetic, Ph.D. Dissertation, Lehigh University, 2001."},{"key":"7220_CR12","doi-asserted-by":"crossref","unstructured":"Stine, J. E. and Schulte, M. J.: A Case for Interval Hardware on Superscalar Processors, in: Scientific Computing, Validated Numerics, and Interval Methods, Kluwer Academic Publishers, 2001, pp. 53\u201368.","DOI":"10.1007\/978-1-4757-6484-0_5"},{"key":"7220_CR13","doi-asserted-by":"crossref","unstructured":"Stine, J. E. and Schulte, M. J.: ACombined Interval and Floating Point Multiplier, in: Proceedings of the 8th Great Lakes Symposium on VLSI, Lafayette, 1998, pp. 208\u2013213.","DOI":"10.1109\/GLSV.1998.665227"},{"key":"7220_CR14","unstructured":"Wolff von Gudenberg, J.: Hardware Support for Interval Arithmetic, in: Scientific Computing and Validated Numerics, Proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics-SCAN'95, Kluwer Academic Publishers, 1996."}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11155-006-7220-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11155-006-7220-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11155-006-7220-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T11:47:09Z","timestamp":1736336829000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11155-006-7220-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["7220"],"URL":"https:\/\/doi.org\/10.1007\/s11155-006-7220-9","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"type":"print","value":"1385-3139"},{"type":"electronic","value":"1573-1340"}],"subject":[],"published":{"date-parts":[[2006,6]]}}}