PL
 |
EN
Ograniczanie wyników
Czasopisma help
  1. 1 Fundamenta Informaticae
Autorzy help
  1. 1 Biswas S.
  2. 1 Seshadhri S.
  3. 1 Seth A.
Lata help
  1. 1 2007
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników
Powiadomienia systemowe
  • Sesja wygasła!

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  BGS model
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote RAM Simulation of BGS Model of Abstract-state Machines
Seshadhri S., Seth A., Biswas S.
Fundamenta Informaticae
|
2007
|
Vol. 77, nr 1,2
175-185
EN
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.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.