Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Nili Ifergan"'
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540291053
CHARME
CHARME
This paper presents a novel BDD-based distributed algorithm for reachability analysis which is completely asynchronous. Previous BDD-based distributed schemes are synchronous: they consist of interleaved rounds of computation and communication, in wh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a42dfa233f575de7abe60546dab39134
https://doi.org/10.1007/11560548_12
https://doi.org/10.1007/11560548_12
