Zobrazeno 1 - 3
of 3
pro vyhledávání: '"SagonasKonstantinos"'
Publikováno v:
ACM Transactions on Parallel Computing. 8:1-38
Concurrent key-value stores with range query support are crucial for the scalability and performance of many applications. Existing lock-free data structures of this kind use a fixed synchronization granularity. Using a fixed synchronization granular
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d806c4c29666b9f20a582b84661f3c13
https://doi.org/10.1145/3460874
https://doi.org/10.1145/3460874
Publikováno v:
POPL
Scopus-Elsevier
Scopus-Elsevier
Stateless model checking is a powerful technique for program verification, which however suffers from an exponential growth in the number of explored executions. A successful technique for reducing this number, while still maintaining complete covera
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8967573de95c5f219d8c63c6eb7552d6
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-215414
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-215414
Publikováno v:
MSP/ISMM
Scopus-Elsevier
Scopus-Elsevier
We discuss alternative heap architectures for languages that rely on automatic memory management and implement concurrency through asynchronous message passing. We describe how interprocess communication and garbage collection happens in each archite
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f2082789553e3c3292d781bc6fddfca
https://doi.org/10.1145/512429.512440
https://doi.org/10.1145/512429.512440