https://wiki.hh.se/ceres/index.php?action=history&feed=atom&title=Publications%3AIn_Pursuit_of_Real_Answers 2026-05-17T02:35:59Z Revision history for this page on the wiki MediaWiki 1.22.6 https://wiki.hh.se/ceres/index.php?title=Publications:In_Pursuit_of_Real_Answers&diff=4316&oldid=prev 2014-06-26T03:45:18Z

<p>Created page with &quot;&lt;div style=&#039;display: none&#039;&gt; == Do not edit this section == &lt;/div&gt; {{PublicationSetupTemplate|Author=Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. S...&quot;</p> <p><b>New page</b></p><div>&lt;div style='display: none'&gt;<br /> == Do not edit this section ==<br /> &lt;/div&gt;<br /> {{PublicationSetupTemplate|Author=Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek<br /> |PID=588252<br /> |Name=Zhu, Angela Yun (Department of Computer Science, Rice University Houston, Houston, TX, USA);Taha, Walid [waltah] (Department of Computer Science, Rice University Houston, Houston, TX, USA);Cartwright, Robert (Department of Computer Science, Rice University Houston, Houston, TX, USA);Martel, Matthieu (Laboratoire ELIAUS-DALI, Universit´e de Perpignan, Perpignan Cedex, France);Siek, Jeremy G. (Department of Electrical and Computer Engineering University of Colorado, Boulder, USA)<br /> |Title=In Pursuit of Real Answers<br /> |PublicationType=Conference Paper<br /> |ContentType=Refereegranskat<br /> |Language=eng<br /> |Journal=<br /> |JournalISSN=<br /> |Status=<br /> |Volume=<br /> |Issue=<br /> |HostPublication=2009 International Conference on Embedded Software and Systems : ICESS 2009 : proceedings, 25-27 May, 2009, Hangzhou, Zhejiang, P.R. China<br /> |Conference=ICESS'09, 6th International Conference on Embedded Software and Systems, Hangzhou, China, May 25-27<br /> |StartPage=115<br /> |EndPage=122<br /> |Year=2009<br /> |Edition=<br /> |Pages=<br /> |City=Los Alamitos, Calif.<br /> |Publisher=IEEE Press<br /> |Series=<br /> |SeriesISSN=<br /> |ISBN=978-0-7695-3678-1;978-1-4244-4359-8<br /> |Urls=<br /> |ISRN=<br /> |DOI=http://dx.doi.org/10.1109/ICESS.2009.91<br /> |ISI=000271940700015<br /> |PMID=<br /> |ScopusId=2-s2.0-70349669395<br /> |NBN=urn:nbn:se:hh:diva-20953<br /> |LocalId=<br /> |ArchiveNumber=<br /> |Keywords=<br /> |Categories=Datorsystem (20206)<br /> |ResearchSubjects=<br /> |Projects=<br /> |Notes=<br /> |Abstract=&lt;p&gt;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.&lt;/p&gt;<br /> |Opponents=<br /> |Supervisors=<br /> |Examiners=<br /> |Patent=<br /> |ThesisLevel=<br /> |Credits=<br /> |Programme=<br /> |Subject=<br /> |Uppsok=<br /> |DefencePlace=<br /> |DefenceLanguage=<br /> |DefenceDate=<br /> |CreatedDate=2013-01-14<br /> |PublicationDate=2013-01-15<br /> |LastUpdated=2013-02-26<br /> |diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&amp;pid=diva2:588252}}<br /> &lt;div style='display: none'&gt;<br /> <br /> == Keep all hand-made modifications below ==<br /> &lt;/div&gt;{{PublicationDisplayTemplate}}</div>

Slawek