{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T05:20:21Z","timestamp":1736400021945,"version":"3.32.0"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,3,1]],"date-time":"1996-03-01T00:00:00Z","timestamp":825638400000},"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":[[1996,3]]},"DOI":"10.1007\/bf02388187","type":"journal-article","created":{"date-parts":[[2006,4,10]],"date-time":"2006-04-10T05:57:52Z","timestamp":1144648672000},"page":"47-62","source":"Crossref","is-referenced-by-count":5,"title":["Variable-precision, interval arithmetic coprocessors","\u0418\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u044c\u043d\u044b\u0435 \u0430\u0440\u0438\u0444\u043c\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0441\u043e\u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440\u044b \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439 \u0440\u0430\u0437\u0440\u044f\u0434\u043d\u043e\u0441\u0442\u0438"],"prefix":"10.1007","volume":"2","author":[{"given":"Michael J.","family":"Schulte","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"suffix":"Jr.","given":"Earl E.","family":"Swartzlander","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02388187_CR1","volume-title":"Introduction to interval computations","author":"G. Alefeld","year":"1983","unstructured":"Alefeld, G. and Herzberger, J.Introduction to interval computations. Academic Press, New York, 1983."},{"key":"BF02388187_CR2","doi-asserted-by":"crossref","unstructured":"Baumhof, C.A new VLSI vector arithmetic coprocessor for the PC. In: \u201cProceedings of the 12th Symposium on Computer Arithmetic\u201d, 1995, pp. 210\u2013215.","DOI":"10.1109\/ARITH.1995.465356"},{"key":"BF02388187_CR3","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BF02407084","volume":"9","author":"K. C. Bickerstaff","year":"1995","unstructured":"Bickerstaff, K. C., Schulte, M. J., and Swartzlander, Jr., E. E.Parallel reduced area multipliers. Journal of VLSI Signal Processing9 (1995), pp. 181\u2013192.","journal-title":"Journal of VLSI Signal Processing"},{"key":"BF02388187_CR4","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1145\/364914.364951","volume":"8","author":"B. I. Blum","year":"1965","unstructured":"Blum, B. I.An extended arithmetic package. Communications of the ACM8 (1965), pp. 318\u2013320.","journal-title":"Communications of the ACM"},{"key":"BF02388187_CR5","doi-asserted-by":"crossref","unstructured":"Bohlender, G.What do we need beyond IEEE arithmetic? In: Ullrich, Ch. (ed.) \u201cComputer Arithmetic and Self-Validating Numerical Methods\u201d, Academic Press, 1990, pp. 1\u201332.","DOI":"10.1016\/B978-0-12-708245-5.50006-3"},{"key":"BF02388187_CR6","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/355769.355775","volume":"4","author":"R. P. Brent","year":"1978","unstructured":"Brent, R. P.A FORTRAN multiprecision arithmetic package. ACM Transactions on Mathematical Software4 (1978), pp. 57\u201370.","journal-title":"ACM Transactions on Mathematical Software"},{"key":"BF02388187_CR7","unstructured":"Buchberger, B.Groebner bases in Mathematica: enthusiasm and frustration. In: \u201cProgramming Environments for High-level Scientific Problem Solving\u201d, 1991, pp. 80\u201391."},{"key":"BF02388187_CR8","unstructured":"Carter, T. M.Cascade: hardware for high\/variable precision arithmetic. In: \u201cProceedings of the 9th Symposium on Computer Arithmetic\u201d, 1989, pp. 184\u2013191."},{"key":"BF02388187_CR9","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/S0747-7171(86)80021-9","volume":"2","author":"B. W. Char","year":"1986","unstructured":"Char, B. W. et al.A tutorial introduction to Maple. Journal of Symbolic Computation2 (1986), pp. 179\u2013200.","journal-title":"Journal of Symbolic Computation"},{"key":"BF02388187_CR10","unstructured":"Chiarulli, D. M., Rudd, W. G., and Buell, D. A.DRAFT: a dynamically reconfigurable processor for integer arithmetic. In: \u201cProceedings of the 7th Symposium on Computer Arithmetic\u201d, 1985, pp. 309\u2013318."},{"key":"BF02388187_CR11","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1109\/TC.1983.1676238","volume":"C-32","author":"M. S. Cohen","year":"1983","unstructured":"Cohen, M. S., Hull, T. E., and Hamarcher, V. C.CADAC: a controlled-precision decimal arithmetic unit. IEEE Transactions on ComputersC-32 (1983), pp. 370\u2013377.","journal-title":"IEEE Transactions on Computers"},{"key":"BF02388187_CR12","first-page":"135","volume":"2","author":"J. S. Ely","year":"1993","unstructured":"Ely, J. S.The VPI software package for variable precision interval arithmetic. Interval Computations 2 (1993), pp. 135\u2013153.","journal-title":"Interval Computations"},{"key":"BF02388187_CR13","doi-asserted-by":"crossref","unstructured":"Hafner, K.Chips for high precision arithmetic. In: Ullrich, Ch. (ed.) \u201cComputer Arithmetic and Self-Validating Numerical Methods\u201d, Academic Press, 1990, pp. 33\u201354.","DOI":"10.1016\/B978-0-12-708245-5.50007-5"},{"key":"BF02388187_CR14","unstructured":"Hansen, E.Global optimization using interval analysis. Marcel Dekker, 1992."},{"key":"BF02388187_CR15","unstructured":"IEEE Standard 754 for binary floating point arithmetic. IEEE, 1985."},{"key":"BF02388187_CR16","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1145\/198429.198433","volume":"20","author":"R. B. Kearfott","year":"1994","unstructured":"Kearfott, R. B., Dawande, M., Du, K., and Hu, C.Algorithm 737: INTLIB: a portable FORTRAN 77 interval standard function library. ACM Transactions on Mathematical Software 20 (1994), pp. 447\u2013459.","journal-title":"ACM Transactions on Mathematical Software"},{"key":"BF02388187_CR17","doi-asserted-by":"crossref","unstructured":"Klatte, R., Kulisch, U., Neaga, M., Ratz, D., and Ullrich, Ch.PASCAL-XSC: language reference with examples. Springer-Verlag, 1991.","DOI":"10.1007\/978-3-662-09214-9"},{"key":"BF02388187_CR18","doi-asserted-by":"crossref","unstructured":"Klatte, R., Kulisch, U., Wiethoff, A., Lawo, C., and Rauch, M.C-XSC: a C++ class library for extended scientific computing. Springer-Verlag, 1993.","DOI":"10.1007\/978-3-642-58058-1"},{"key":"BF02388187_CR19","doi-asserted-by":"crossref","unstructured":"Kn\u00f6fel, A.Fast hardware units for the computation of accurate dot products. In: \u201cProceedings of the 10th Symposium on Computer Arithmetic\u201d, 1991, pp. 70\u201375.","DOI":"10.1109\/ARITH.1991.145536"},{"key":"BF02388187_CR20","doi-asserted-by":"publisher","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"},{"key":"BF02388187_CR21","doi-asserted-by":"crossref","unstructured":"Krandick, W. and Johnson, J. R.Efficient multiprecision floating point multiplication with optimal directional rounding. In: \u201cEleventh Symposium on Computer Arithmetic\u201d, 1993, pp. 228\u2013233.","DOI":"10.1109\/ARITH.1993.378088"},{"key":"BF02388187_CR22","doi-asserted-by":"crossref","unstructured":"Kulisch, U. W. and Miranker, W. L.Computer arithmetic in theory and in practice. Academic Press, 1981.","DOI":"10.1016\/B978-0-12-428650-4.50009-9"},{"key":"BF02388187_CR23","unstructured":"LSI Logic 1.0 micron cell-based products databook. LSI Logic Corporation, 1991."},{"key":"BF02388187_CR24","unstructured":"Matula, D. W.A highly parallel arithmetic unit for floating point multiply, divide with remainder and square root with remainder. In: \u201c1989 IMACS\/GAMM International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics\u201d, 1989."},{"key":"BF02388187_CR25","unstructured":"Moore, R. E.Interval analysis. Prentice Hall, 1966."},{"key":"BF02388187_CR26","unstructured":"Ratz, D.The effects of the arithmetic of vector computers on basic numerical methods. In: Ullrich, Ch. (ed.) \u201cContributions to Computer Arithmetic and Self-Validating Numerical Methods\u201d, J.C. Baltzer, 1990, pp. 499\u2013514."},{"key":"BF02388187_CR27","doi-asserted-by":"crossref","unstructured":"Reuter, E. K. et al.Some experiments using interval arithmetic. In: \u201cProceedings of the 4th Symposium on Computer Arithmetic\u201d, 1978, pp. 75\u201381.","DOI":"10.1109\/ARITH.1978.6155754"},{"key":"BF02388187_CR28","doi-asserted-by":"crossref","unstructured":"Schulte, M. J. and Swartzlander, Jr., E. E.A hardware design and arithmetic algorithms for a variable-precision, interval arithmetic coprocessor. In: \u201cProceedings of the 12th Symposium on Computer Arithmetic\u201d, 1995, pp. 222\u2013229.","DOI":"10.1109\/ARITH.1995.465354"},{"issue":"3","key":"BF02388187_CR29","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/BF02385262","volume":"1","author":"M. J. Schulte","year":"1995","unstructured":"Schulte, M. J. and Swartzlander, Jr. E. E.,A software interface and hardware design for variableprecision interval arithmetic. Reliable Computing1 (3) (1995), pp. 325\u2013342.","journal-title":"Reliable Computing"},{"key":"BF02388187_CR30","unstructured":"Schulte, M. J. and Swartzlander, Jr., E. E.Designs and applications for variable-precision, interval arithmetic coprocessors. Reliable Computing, to appear."},{"key":"BF02388187_CR31","doi-asserted-by":"crossref","unstructured":"Schwartz, J.Implementing infinite precision arithmetic. In: \u201cProceedings of the 9th Symposium on Computer Arithmetic\u201d, 1989, pp. 10\u201317.","DOI":"10.1109\/ARITH.1989.72804"},{"key":"BF02388187_CR32","doi-asserted-by":"crossref","unstructured":"Ullrich, Ch.Programming languages for enclosure methods. In: Ullrich, Ch. (ed.) \u201cComputer Arithmetic and Self-Validating Numerical Methods\u201d, Academic Press, 1990, pp. 115\u2013136.","DOI":"10.1016\/B978-0-12-708245-5.50011-7"},{"key":"BF02388187_CR33","doi-asserted-by":"crossref","unstructured":"Walter, W. V.Acrith-XSC a Fortran-like language for verified scientific computing. In: Adams, E. and Kulisch, U. (eds) \u201cScientific Computing with Automatic Result Verification\u201d, Academic Press, 1993, pp. 45\u201370.","DOI":"10.1016\/S0076-5392(08)62841-6"},{"key":"BF02388187_CR34","unstructured":"Wolfram, S.Mathematica: a system for doing mathematics by computer. Addison-Wesley, 1988."},{"key":"BF02388187_CR35","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1145\/355694.355695","volume":"2","author":"W. T. Wyatt","year":"1976","unstructured":"Wyatt, W. T., Lozier, D. W., and Orser, D. J.A portable extended precision arithmetic package and library with FORTRAN precompiler. ACM Transactions on Mathematical Software2 (1976), pp. 209\u2013231.","journal-title":"ACM Transactions on Mathematical Software"}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02388187.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02388187\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02388187","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02388187.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T10:00:02Z","timestamp":1736330402000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02388187"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,3]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,3]]}},"alternative-id":["BF02388187"],"URL":"https:\/\/doi.org\/10.1007\/bf02388187","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"type":"print","value":"1385-3139"},{"type":"electronic","value":"1573-1340"}],"subject":[],"published":{"date-parts":[[1996,3]]}}}