Number of the records: 1
Létající amorfní počítač
- 1.0330357 - ÚI 2010 RIV CZ cze C - Conference Paper (international conference)
Petrů, L. - Wiedermann, Jiří
Létající amorfní počítač.
[Flying Amorphous Computer.]
Kognice a umělý život IX. Opava: Slezská univerzita, Filozoficko-přírodovědecká fakulta, 2009 - (Kelemen, J.; Kvasnička, V.; Rybár, J.), s. 263-266. ISBN 978-80-7248-516-1.
[Kognice a umělý život /9./. Stará Lesná (SK), 01.06.2009-04.06.2009]
R&D Projects: GA AV ČR 1ET100300517
Institutional research plan: CEZ:AV0Z10300504
Keywords : amorfní počítač * komunikační protokol * výpočetní složitost * simulace
Subject RIV: IN - Informatics, Computer Science
V příspěvku navrhneme formální model létajícího amorfního počítače a ukážeme, že k libovolnému počítači RAM s libovolně velkým vstupem existuje amorfní počítač, jehož velikost záleží pouze na velikosti vstupu a jenž konkrétně realizuje počítač RAM pro daný vstup s libovolně malou pravděpodobností chyby.
A formal model of so-called flying amorphous computer is designed. It is known that to any RAM computer with a given input there exists an amorphous flying computer whose size only depends on the size of the input and which simulates the given RAM computer with an arbitrarily small error probability.
Permanent Link: http://hdl.handle.net/11104/0176166
File Download Size Commentary Version Access 0330357.pdf 1 189.6 KB Author´s preprint open-access
Number of the records: 1