{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T05:20:09Z","timestamp":1736400009076,"version":"3.32.0"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1995,9,1]],"date-time":"1995-09-01T00:00:00Z","timestamp":809913600000},"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":[[1995,9]]},"DOI":"10.1007\/bf02385262","type":"journal-article","created":{"date-parts":[[2006,4,9]],"date-time":"2006-04-09T15:07:40Z","timestamp":1144595260000},"page":"325-342","source":"Crossref","is-referenced-by-count":7,"title":["A software interface and hardware design for variable-precision interval arithmetic","\u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u043d\u044b\u0439 \u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441 \u0438 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u044f \u0430\u043f\u043f\u0430\u0440\u0430\u0442\u0443\u0440\u044b \u0434\u043b\u044f \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u044c\u043d\u043e\u0439 \u0430\u0440\u0438\u0444\u043c\u0435\u0442\u0438\u043a\u0438 \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":"1","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":[{"doi-asserted-by":"crossref","unstructured":"Adams, E. and Kulisch, U.Scientific computing with automatic result verification. Academic Press, 1993, pp. 1\u201312.","key":"BF02385262_CR1","DOI":"10.1016\/S0076-5392(08)62839-8"},{"key":"BF02385262_CR2","first-page":"24","volume":"11","author":"F. S. Anderson","year":"1967","unstructured":"Anderson, F. S. et al.The IBM System\/360 Model 91: floating point execution unit. IBM Journal of Research and Development11 (1967), pp. 24\u201353.","journal-title":"IBM Journal of Research and Development"},{"doi-asserted-by":"crossref","unstructured":"Bickerstaff, K. C., Schulte, M. J., and Swartzlander, E. E.Reduced area multipliers. In: \u201cProceedings 1993 Application Specific Array Processors\u201d, 1993, pp. 478\u2013489.","key":"BF02385262_CR3","DOI":"10.1109\/ASAP.1993.397168"},{"key":"BF02385262_CR4","first-page":"1","volume-title":"Computer Arithmetic and Self-Validating Numerical Methods","author":"G. Bohlender","year":"1990","unstructured":"Bohlender, G.What do we need beyond IEEE arithmetic? In: Ullrich, C. (ed.) \u201cComputer Arithmetic and Self-Validating Numerical Methods\u201d, Academic Press, New York, NY, 1990, pp. 1\u201332."},{"key":"BF02385262_CR5","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1109\/TC.1982.1675982","volume":"31","author":"R. P. Brent","year":"1982","unstructured":"Brent, R. P. and Kung, H. Y.A regular layout for parallel adders. IEEE Transactions on ComputersC-31 (1982), pp. 260\u2013264.","journal-title":"IEEE Transactions on Computers"},{"unstructured":"Carter, T.Cascade: hardware for high\/variable precision arithmetic. In: \u201cNinth Symposium on Computer Arithmetic\u201d, 1989, pp. 184\u2013191.","key":"BF02385262_CR6"},{"key":"BF02385262_CR7","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1109\/TC.1983.1676238","volume":"32","author":"M. Cohen","year":"1983","unstructured":"Cohen, M., Hull, T., and Hamarcher, V.CADAS: a controlled-precision decimal arithmetic unit. IEEE Transactions on ComputersC-32 (1983), pp. 370\u2013377.","journal-title":"IEEE Transactions on Computers"},{"key":"BF02385262_CR8","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":"BF02385262_CR9","volume-title":"Computer evaluation of mathematical functions","author":"C. T. Fike","year":"1968","unstructured":"Fike, C. T.Computer evaluation of mathematical functions Prentice Hall, Englewood Cliffs, NJ, 1968."},{"key":"BF02385262_CR10","doi-asserted-by":"crossref","first-page":"702","DOI":"10.1109\/T-C.1970.223019","volume":"19","author":"M. J. Flynn","year":"1970","unstructured":"Flynn, M. J.On division by functional iterations. IEEE Transactions on ComputersC-19 (1970) pp. 702\u2013706.","journal-title":"IEEE Transactions on Computers"},{"doi-asserted-by":"crossref","unstructured":"Hammer, R., Neaga, M., and Ratz, D.Pascal-XSC new concepts for scientific computation and numerical data processing. In: Adams, E. and Kulisch, U. (eds) \u201cScientific Computing with Automatic Result Verification\u201d, Academic Press, 1993, pp. 15\u201344.","key":"BF02385262_CR11","DOI":"10.1016\/S0076-5392(08)62840-4"},{"key":"BF02385262_CR12","volume-title":"Global optimization using interval analysis","author":"E. Hansen","year":"1992","unstructured":"Hansen, E.Global optimization using interval analysis. Marcel Dekken, New York, NY, 1992."},{"doi-asserted-by":"crossref","unstructured":"Knofel, A.Fast hardware units for the computation of accurate dot products. In: \u201cTenth Symposium on Computer Arithmetic\u201d, 1991, pp. 70\u201375.","key":"BF02385262_CR13","DOI":"10.1109\/ARITH.1991.145536"},{"doi-asserted-by":"crossref","unstructured":"Knofel, A.Hardware kernel for scientific\/engineering compuations. In: Adams, E. and Kulisch, U. (eds) \u201cScientific Computing with Automatic Result Verification\u201d, Academic Press, 1993, pp. 549\u2013570.","key":"BF02385262_CR14","DOI":"10.1016\/S0076-5392(08)62856-8"},{"key":"BF02385262_CR15","volume-title":"Computer arithmetic and algorithms","author":"I. Koren","year":"1993","unstructured":"Koren, I.Computer arithmetic and algorithms. Prentice Hall, Englewood Cliffs, NJ, 1993."},{"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.","key":"BF02385262_CR16","DOI":"10.1109\/ARITH.1993.378088"},{"key":"BF02385262_CR17","volume-title":"Computer arithmetic in theory and in practice","author":"U. W. Kulisch","year":"1981","unstructured":"Kulisch, U. W. and Miranker, W. L.Computer arithmetic in theory and in practice. Academic Press, New York, NY, 1981."},{"unstructured":"IEEE Standard 754 for binary floating point arithmetic. American National Standards Institute, Washington, DC, 1985.","key":"BF02385262_CR18"},{"doi-asserted-by":"crossref","unstructured":"Lawo, C.C-XSC new concepts for scientific computation and numerical data processing. In: Adams, E. and Kulisch, U. (eds) \u201cScientific Computing with Automatic Result Verification\u201d, Academic Press, 1993, pp. 71\u201386.","key":"BF02385262_CR19","DOI":"10.1016\/S0076-5392(08)62842-8"},{"unstructured":"LSI Logic 1.0 micron cell-based products databook. LSI Logic Corporation, Milpitas, California, 1991.","key":"BF02385262_CR20"},{"key":"BF02385262_CR21","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1147\/rd.341.0111","volume":"34","author":"P. W. Markstein","year":"1990","unstructured":"Markstein, P. W.Computation of elementary functions on the IBM RISC System\/6000 processor. IBM Journal of Research and Development34 (1990), pp. 111\u2013119.","journal-title":"IBM Journal of Research and Development"},{"key":"BF02385262_CR22","volume-title":"Numerical methods for computer science, engineering and mathematics","author":"J. H. Mathews","year":"1987","unstructured":"Mathews, J. H.Numerical methods for computer science, engineering and mathematics, Prentice Hall, Englewood Cliffs, NJ, 1987."},{"key":"BF02385262_CR23","volume-title":"Interval analysis","author":"R. E. Moore","year":"1966","unstructured":"Moore, R. E.Interval analysis. Prentice Hall, Englewood Cliffs, NJ, 1966."},{"key":"BF02385262_CR24","doi-asserted-by":"crossref","first-page":"837","DOI":"10.1109\/TC.1972.5009039","volume":"21","author":"C. V. Ramamoorthy","year":"1972","unstructured":"Ramamoorthy, C. V., Goodman, J. R., and Kim, K. H.Properties of iterative square-rooting methods using high-speed multiplication IEEE Transactions on ComputersC-21 (1972), pp. 837\u2013847.","journal-title":"IEEE Transactions on Computers"},{"doi-asserted-by":"crossref","unstructured":"Reuter, E. K. et al.Some experiments using interval arithmetic. In: \u201cFourth Symposium on Computer Arithmetic\u201d, 1978, pp. 75\u201381.","key":"BF02385262_CR25","DOI":"10.1109\/ARITH.1978.6155754"},{"unstructured":"Schulte, M. J. and Swartzlander, E. E.Exact rounding of certain elementary functions. In: \u201cEleventh Symposium on Computer Arithmetic\u201d, 1993, pp. 128\u2013145.","key":"BF02385262_CR26"},{"key":"BF02385262_CR27","first-page":"65","volume":"4","author":"M. J. Schulte","year":"1993","unstructured":"Schulte, M. J. and Swartzlander, E. E.Parallel hardware designs for correctly rounded elementary functions. Interval Computations4 (1993), pp. 65\u201388.","journal-title":"Interval Computations"},{"doi-asserted-by":"crossref","unstructured":"Schulte, M. J., Omar, J., and Swartzlander, E. E.Optimal initial approximations for the Newton-Raphson division algorithm. Submitted to Computing, 1994.","key":"BF02385262_CR28","DOI":"10.1007\/BF02307376"},{"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.","key":"BF02385262_CR29","DOI":"10.1016\/S0076-5392(08)62841-6"}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02385262.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02385262\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02385262","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02385262.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T09:46:53Z","timestamp":1736329613000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02385262"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,9]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,9]]}},"alternative-id":["BF02385262"],"URL":"https:\/\/doi.org\/10.1007\/bf02385262","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"type":"print","value":"1385-3139"},{"type":"electronic","value":"1573-1340"}],"subject":[],"published":{"date-parts":[[1995,9]]}}}