{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T13:49:10Z","timestamp":1649166550718},"reference-count":13,"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\/bf02425915","type":"journal-article","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T07:35:57Z","timestamp":1149665757000},"page":"133-138","source":"Crossref","is-referenced-by-count":0,"title":["Software for high radix on-line arithmetic"],"prefix":"10.1007","volume":"2","author":[{"given":"Thomas","family":"Lynch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael J.","family":"Schulte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02425915_CR1","unstructured":"Alefeld, G. and Herzberger, J.Introduction to interval computations. Academic Press, 1983."},{"key":"BF02425915_CR2","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1109\/TEC.1961.5219227","volume":"10","author":"A. Avizienis","year":"1961","unstructured":"Avizienis, A.Signed-digit number representations for fast parallel arithmetic. IRE Transactions on Electronic Computers10 (1961), pp. 389\u2013400.","journal-title":"IRE Transactions on Electronic Computers"},{"key":"BF02425915_CR3","doi-asserted-by":"crossref","unstructured":"Bajard, J. C., Guyot, A., Muller, J.-M., and Skaf, A.Design of a VLSI circuit for on-line evaluation of several elementary functions using their Taylor expansions. In: \u201cProceedings of the 1993 International Conference on Application Specific Array Processors\u201d, 1993, pp. 526\u2013535.","DOI":"10.1109\/ASAP.1993.397172"},{"key":"BF02425915_CR4","doi-asserted-by":"crossref","unstructured":"Benouamer, M. O., Jailon, P., Michelucci, D., and Moreau, J.-M.A lazy exact arithmetic. In: \u201cProceedings of the 11th Symposium on Computer Arithmetic\u201d, IEEE Computer Society Press, 1993, pp. 242\u2013249.","DOI":"10.1109\/ARITH.1993.378086"},{"key":"BF02425915_CR5","doi-asserted-by":"crossref","first-page":"1385","DOI":"10.1109\/12.61047","volume":"C-39","author":"M. D. Ercegovac","year":"1990","unstructured":"Ercegovac, M. D. and Lang, T.Fast multiplication without carry-propagate addition. IEEE Transactions on ComputersC-39 (1990), pp. 1385\u20131390.","journal-title":"IEEE Transactions on Computers"},{"key":"BF02425915_CR6","unstructured":"Ercegovac, M. D. and Lang, T.On-line arithmetic: a design methodology and applications to digital signal processing. IEEE Press, 1988, pp. 252\u2013263."},{"key":"BF02425915_CR7","unstructured":"Herzberger, J.Basic definitions and properties of interval arithmetic. In: Herzberger, J. (ed.) \u201cTopics in Validated Computations. Proceedings of IMACS-GAMM International Workshop on Validated Numerics\u201d, North Holland, 1994, pp. 1\u20136."},{"key":"BF02425915_CR8","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/BF02307379","volume":"53","author":"O. Kn\u00fcppel","year":"1994","unstructured":"Kn\u00fcppel, O.PROFIL\/BIAS\u2014a fast interval library. Computing53 (1994), pp. 277\u2013288.","journal-title":"Computing"},{"issue":"7","key":"BF02425915_CR9","first-page":"435","volume":"1","author":"T. Lynch","year":"1995","unstructured":"Lynch, T. and Schulte, M. J.A high radix on-line arithmetic for credible and accurate computing. Journal of Universal Computer Science1 (7) (1995), pp. 435\u2013449.","journal-title":"Journal of Universal Computer Science"},{"key":"BF02425915_CR10","unstructured":"Moore, R. E.Interval analysis. Prentice Hall, 1966."},{"issue":"8","key":"BF02425915_CR11","doi-asserted-by":"crossref","first-page":"880","DOI":"10.1109\/12.295850","volume":"C-43","author":"D. S. Phatak","year":"1994","unstructured":"Phatak, D. S. and Koren, I.Hybrid signed-digit number systems: a unified framework for redundant number representations with bounded carry propagation chains. IEEE Transactions on ComputersC-43 (8) (1994), pp. 880\u2013891.","journal-title":"IEEE Transactions on Computers"},{"issue":"7","key":"BF02425915_CR12","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1109\/TC.1977.1674901","volume":"C-26","author":"K. S. Trivedi","year":"1977","unstructured":"Trivedi, K. S. and Ercegovac, M. D.On-line algorithms for division and multiplication. IEEE Transactions on ComputersC-26 (7) (1977), pp. 681\u2013687.","journal-title":"IEEE Transactions on Computers"},{"issue":"4","key":"BF02425915_CR13","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TC.1983.1676236","volume":"C-32","author":"O. Watanuki","year":"1983","unstructured":"Watanuki, O. and Ercegovac, M. D.Error analysis of certain floating-point on-line algorithms. IEEE Transactions on ComputersC-32 (4) (1983), pp. 352\u2013358.","journal-title":"IEEE Transactions on Computers"}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02425915.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,31]],"date-time":"2019-03-31T09:11:35Z","timestamp":1554023495000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02425915"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,6]]}},"alternative-id":["BF02425915"],"URL":"https:\/\/doi.org\/10.1007\/bf02425915","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"value":"1385-3139","type":"print"},{"value":"1573-1340","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,6]]}}}