{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T10:14:24Z","timestamp":1672568064903},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"2-4","license":[{"start":{"date-parts":[[2012,1,15]],"date-time":"2012-01-15T00:00:00Z","timestamp":1326585600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1007\/s00607-012-0185-0","type":"journal-article","created":{"date-parts":[[2012,1,16]],"date-time":"2012-01-16T11:10:47Z","timestamp":1326712247000},"page":"243-255","source":"Crossref","is-referenced-by-count":2,"title":["Specification of hardware for interval arithmetic"],"prefix":"10.1007","volume":"94","author":[{"given":"M.","family":"Nehmeier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Siegel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Wolff von Gudenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,1,15]]},"reference":[{"key":"185_CR1","unstructured":"Intel\u00a9 advanced vector extensions programming reference (2011). http:\/\/software.intel.com\/file\/35247\/"},{"key":"185_CR2","doi-asserted-by":"crossref","unstructured":"Gupte R, Edmonson WW, Ocloo S, Alexander WE (2006) Pipelined alu for signal processing to implement interval arithmetic. In: SiPS. IEEE, USA, pp 95\u2013100. http:\/\/dblp.uni-trier.de\/db\/conf\/sips\/sips2006.html#GupteEOA06","DOI":"10.1109\/SIPS.2006.352562"},{"key":"185_CR3","unstructured":"IEEE Interval Standard Working Group-P1788. http:\/\/grouper.ieee.org\/groups\/1788\/"},{"issue":"3","key":"185_CR4","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/s11155-006-7220-9","volume":"12","author":"R Kirchner","year":"2006","unstructured":"Kirchner R, Kulisch UW (2006) Hardware support for interval arithmetic. Reliab Comput 12(3): 225\u2013237","journal-title":"Reliab Comput"},{"key":"185_CR5","doi-asserted-by":"crossref","DOI":"10.1515\/9783110203196","volume-title":"Computer arithmetic and validity: theory, implementation, and applications, De Gruyter studies in mathematics","author":"U Kulisch","year":"2008","unstructured":"Kulisch U (2008) Computer arithmetic and validity: theory, implementation, and applications, De Gruyter studies in mathematics. Walter De Gruyter, New York"},{"key":"185_CR6","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/978-3-540-85521-7_6","volume":"5045","author":"B Lambov","year":"2008","unstructured":"Lambov B (2008) Interval arithmetic using SSE-2. Lect Notes Comput Sci 5045: 102\u2013113","journal-title":"Lect Notes Comput Sci"},{"key":"185_CR7","unstructured":"Nehmeier M, Wolff von Gudenberg J (2011) Interval comparisons and lattice operations based on the interval overlapping relation. In: Proceedings of the world conference on soft computing 2011 (WConSC\u201911), San Francisco, CA, USA"},{"key":"185_CR8","unstructured":"Nehmeier M, Siegel S, Wolff von Gudenberg J (2010) Parallel detection of interval overlapping. In: Proceedings of the state of the art in scientific and parallel computing (Para 2010). Reykjav\u00eck, Iceland (to appear)"},{"key":"185_CR9","unstructured":"Neumaier A (2008) Vienna proposal for interval standardization, Version 3.0. In: IEEE Interval Standard Working Group-P1788. http:\/\/grouper.ieee.org\/groups\/1788\/"},{"key":"185_CR10","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1109\/12.859535","volume":"49","author":"MJ Schulte","year":"2000","unstructured":"Schulte MJ, Swartzlander EE Jr. (2000) A family of variable-precision interval arithmetic processors. IEEE Trans. Comput. 49: 387\u2013397. doi: 10.1109\/12.859535","journal-title":"IEEE Trans. Comput."}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-012-0185-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-012-0185-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-012-0185-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,22]],"date-time":"2019-06-22T14:37:43Z","timestamp":1561214263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-012-0185-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,15]]},"references-count":10,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["185"],"URL":"https:\/\/doi.org\/10.1007\/s00607-012-0185-0","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1,15]]}}}