Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Vladimir Gladstein"'
Publikováno v:
Scientific and Technical Journal of Information Technologies, Mechanics and Optics. 22:517-527
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7132087f2be4c92d424183e67cdfa3ec
https://doi.org/10.17586/2226-1494-2022-22-3-517-527
https://doi.org/10.17586/2226-1494-2022-22-3-517-527
Publikováno v:
Proceedings of the ACM on Programming Languages
49th ACM SIGPLAN Symposium on Principles of Programming Languages
49th ACM SIGPLAN Symposium on Principles of Programming Languages
Dynamic partial order reduction (DPOR) verifies concurrent programs by exploring all their interleavings up to some equivalence relation, such as the Mazurkiewicz trace equivalence. Doing so involves a complex trade-off between space and time. Existi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7ae0fb612a93a48c8394c5804a69c0f1