The Library
Relating computation and time
Tools
Tools
Tools
Joseph, Mathai and Goswami, Asis (1989) Relating computation and time. University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)
|
PDF
WRAP_cs-rr-138.pdf - Other - Requires a PDF viewer. Download (287Kb) | Preview |
Abstract
In this paper, we examine the relation between the actions of a computation and the nature of time associated with the execution. Using a method suggested by Whitrow, we first define an instant of time in terms of computational actions and then show that the set of such instants is isomorphic with the reals provided it satisfies certain well-known properties. Some of these properties can be derived from a straightforward definition of actions and their ordering, but we also provide necessary and sufficient conditions for proving the denseness of the set. We then show how different assumptions about computations relate to the requirements for denseness. From this, it can be seen that the apparent choice between representing computational time by a discrete domain, an arbitrary dense domain and the real domain, for example, is really a choice between different computational models.
| Item Type: | Report | ||||
|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
| Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
| Library of Congress Subject Headings (LCSH): | Computers, Time | ||||
| Series Name: | Department of Computer Science Research Report | ||||
| Publisher: | University of Warwick. Department of Computer Science | ||||
| Official Date: | 1989 | ||||
| Dates: |
|
||||
| Number: | Number 138 | ||||
| Number of Pages: | 16 | ||||
| DOI: | CS-RR-138 | ||||
| Institution: | University of Warwick | ||||
| Theses Department: | Department of Computer Science | ||||
| Status: | Not Peer Reviewed | ||||
| Publication Status: | Unpublished | ||||
| Funder: | Science and Engineering Research Council (Great Britain) (SERC) | ||||
| Grant number: | GR/D 73881 | ||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
