hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
In Pursuit of Real Answers
Department of Computer Science, Rice University Houston, Houston, TX, USA.
Department of Computer Science, Rice University Houston, Houston, TX, USA.
Department of Computer Science, Rice University Houston, Houston, TX, USA.
Laboratoire ELIAUS-DALI, Universit´e de Perpignan, Perpignan Cedex, France.
Show others and affiliations
2009 (English)In: 2009 International Conference on Embedded Software and Systems: ICESS 2009 : proceedings, 25-27 May, 2009, Hangzhou, Zhejiang, P.R. China, Los Alamitos, Calif.: IEEE Press, 2009, 115-122 p.Conference paper, Published paper (Refereed)
Abstract [en]

Digital computers permeate our physical world. This phenomenon creates a pressing need for tools that help us understand a priori how digital computers can affect their physical environment. In principle, simulation can be a powerful tool for animating models of the world. Today, however, there is not a single simulation environment that comes with a guarantee that the results of the simulationare determined purely by a real-valued model and not by artifacts of the digitized implementation. As such, simulation with guaranteed fidelity does not yet exist. Towards addressing this problem, we offer an expository account of what is known about exact real arithmetic. We argue that this technology, which has roots that are over 200 years old, bears significant promise as offering exactly the right technology to build simulation environments with guaranteed fidelity. And while it has only been sparsely studied in this large span of time, there are reasons to believe that the time is right to accelerate research in this direction.

Place, publisher, year, edition, pages
Los Alamitos, Calif.: IEEE Press, 2009. 115-122 p.
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:hh:diva-20953DOI: 10.1109/ICESS.2009.91ISI: 000271940700015Scopus ID: 2-s2.0-70349669395ISBN: 978-0-7695-3678-1 ISBN: 978-1-4244-4359-8 OAI: oai:DiVA.org:hh-20953DiVA: diva2:588252
Conference
ICESS'09, 6th International Conference on Embedded Software and Systems, Hangzhou, China, May 25-27
Available from: 2013-01-15 Created: 2013-01-14 Last updated: 2013-02-26Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Taha, Walid
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 77 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf