Zobrazeno 1 - 1
of 1
pro vyhledávání: '"EWI-15980"'
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
