Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

RAM Simulation of BGS Model of Abstract-state Machines

100%

Seshadhri S. , Seth A. , Biswas S.

Fundamenta Informaticae

2007

tom Vol. 77, nr 1,2

175-185

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.

Relativity and the brain: spatial effects on temporal duration judgements

100%

Seth A. , Muggleton N. G. , Walsh V.

Acta Neurobiologiae Experimentalis

2005

tom 65

nr 5