|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 3 van 7 gevonden artikelen
| Titel: |
RAM Simulation of BGS Model of Abstract-state Machines |
| Auteur: |
Seshadhri, Comandur Seth, Anil Biswas, Somenath |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 77 (2007) nr. 1-2 pagina's 175-185 |
| Jaar: |
2007-06-29 |
| Inhoud: |
We show in this paper that the BGS model of abstract state machines can be simulated by random access machines with at most a polynomial time overhead. This result is already stated in [5] with a very brief proof sketch. The present paper gives a detailed proof of the result. We represent hereditarily finite sets, which are the typical BGS ASM objects, by membership graphs of the transitive closure of the sets. Testing for equality between BGS objects can be done in linear time in our representation. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 3 van 7 gevonden artikelen
| << vorige | volgende >> |