{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T03:03:14Z","timestamp":1730343794108,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.23919\/fmcad.2019.8894279","type":"proceedings-article","created":{"date-parts":[[2019,11,13]],"date-time":"2019-11-13T09:25:06Z","timestamp":1573637106000},"page":"46-54","source":"Crossref","is-referenced-by-count":3,"title":["Concurrent Chaining Hash Maps for Software Model Checking"],"prefix":"10.23919","author":[{"given":"Freark I.","family":"van der Berg","sequence":"first","affiliation":[]},{"given":"Jaco","family":"van de Pol","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1201\/9781420035179"},{"journal-title":"Threading building block’s concurrent hash map documentation","year":"2018","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592820"},{"journal-title":"libcuckoo git repository","year":"2018","author":"li","key":"ref13"},{"journal-title":"Junction hash map blog post","year":"2018","author":"preshing","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/564870.564881"},{"journal-title":"Libcds git repository","year":"2018","author":"authors","key":"ref16"},{"journal-title":"The Art of Multiprocessor Programming","year":"2008","author":"herlihy","key":"ref17"},{"journal-title":"Folly git repository","year":"2018","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23404-5_5"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/42404.42410"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/10720246_1"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25942-0_3"},{"key":"ref6","first-page":"23","article-title":"Designing ascycompliant concurrent search data structures","author":"david","year":"2014","journal-title":"authors appear in alphabetical order"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgor.2003.12.002"},{"key":"ref8","article-title":"Cuckoo ++ hash tables: High-performance hash tables for networking applications","volume":"abs 1712 9624","author":"scouarnec","year":"2017","journal-title":"CoRR"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3016078.2851188"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22306-8_4"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/216585.216588"},{"key":"ref1","first-page":"247","article-title":"Boosting multi-core reachability performance with shared hash tables","author":"laarman","year":"2010","journal-title":"Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design Lugano Switzerland"},{"key":"ref20","first-page":"15","article-title":"A distributed hash table for shared memory","volume":"9","author":"oortwijn","year":"2015","journal-title":"Parallel Processing and Applied Mathematics"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1457838.1457895"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_16"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-014-0346-1"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67729-3_15"},{"journal-title":"Linux kernel numa memory policy","year":"2018","key":"ref26"},{"journal-title":"Hyper-Threading Technology Architecture and Microarchitecture","year":"2002","key":"ref25"}],"event":{"name":"2019 Formal Methods in Computer Aided Design (FMCAD)","start":{"date-parts":[[2019,10,22]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2019,10,25]]}},"container-title":["2019 Formal Methods in Computer Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8891869\/8894241\/08894279.pdf?arnumber=8894279","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T22:46:09Z","timestamp":1598222769000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8894279\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":27,"URL":"https:\/\/doi.org\/10.23919\/fmcad.2019.8894279","relation":{},"subject":[],"published":{"date-parts":[[2019,10]]}}}