Zobrazeno 1 - 10
of 201
pro vyhledávání: '"Cerna, I."'
Publikováno v:
In Chemical Engineering & Processing: Process Intensification 2011 50(3):264-272
Publikováno v:
In Theoretical Computer Science 2009 410(33):3128-3148
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Electronic Notes in Theoretical Computer Science 20 February 2006 135(2):3-18
Publikováno v:
In Electronic Notes in Theoretical Computer Science 19 April 2005 128(3):63-74
Publikováno v:
In Advances in Parallel Computing 2004 13:297-304
Publikováno v:
Psychiatrie, Neurologie und medizinische Psychologie, 1966 Sep 01. 18(9), 321-328.
Externí odkaz:
https://www.jstor.org/stable/45250352
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Blom, Stefan, Cerna, I., Haverkort, Boudewijn R.H.M., Lisser, Bert, van de Pol, Jan Cornelis, Weber, M.
Publikováno v:
Journal of logic and computation, Advance Ac(1):10.1093/logcom/exp004, 45-62. Oxford University Press
We study distributed state-space generation on a cluster of workstations. It is explained why state-space partitioning by a global hash function is problematic when states contain variables from unbounded domains, such as lists or other recursive dat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b0a7601cf6d8c12546fc60af747708b2
https://doi.org/10.1093/logcom/exp004
https://doi.org/10.1093/logcom/exp004