{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T09:55:32Z","timestamp":1770285332596,"version":"3.49.0"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319234038","type":"print"},{"value":"9783319234045","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23404-5_5","type":"book-chapter","created":{"date-parts":[[2015,8,26]],"date-time":"2015-08-26T00:57:19Z","timestamp":1440550639000},"page":"49-65","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Fast, Dynamically-Sized Concurrent Hash Table"],"prefix":"10.1007","author":[{"given":"J.","family":"Barnat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Ro\u010dkai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"\u0160till","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Weiser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,27]]},"reference":[{"key":"5_CR1","unstructured":"Intel Corporation, Threading Building Blocks (2014\u201306-01) (2014). http:\/\/www.threadingbuildingblocks.org"},{"issue":"3","key":"5_CR2","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1145\/1147954.1147958","volume":"53","author":"O Shalev","year":"2006","unstructured":"Shalev, O., Shavit, N.: Split-ordered lists: lock-free extensible hashtables. J. ACM 53(3), 379\u2013405 (2006). http:\/\/doi.acm.org\/10.1145\/1147954.1147958","journal-title":"J. ACM"},{"key":"5_CR3","volume-title":"FMCAD 2010","author":"AW Laarman","year":"2010","unstructured":"Laarman, A.W., van de Pol, J.C., Weber, M.: Boosting multi-core reachability performance with shared hash tables. In: Sharygina, N., Bloem, R. (eds.) FMCAD 2010. IEEE Computer Society, Los Alamitos (2010)"},{"key":"5_CR4","unstructured":"Purcell, C., Harris, T.: Non-blocking hashtables with open addressing. In: Proceedings of the 19th International Symposium on Distributed Computing, DISC 2005, September 2005, a longer version appears as Technical report UCAM-CL-TR-639. http:\/\/research.microsoft.com\/apps\/pubs\/default.aspx?id=67422"},{"issue":"1","key":"5_CR5","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s00446-004-0115-2","volume":"18","author":"H Gao","year":"2005","unstructured":"Gao, H., Groote, J.F., Hesselink, W.H.: Lock-free dynamic hash tables with open addressing. Distrib. Comput. 18(1), 21\u201342 (2005)","journal-title":"Distrib. Comput."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Wijs, A., Bo\u0161na\u010dki, D.: Many-core on-the-fly model checking of safety properties using GPUs. Int. J. Softw. Tools Technol. Transf. 1\u201317 (2015) (to appear)","DOI":"10.1007\/s10009-015-0379-9"},{"key":"5_CR7","unstructured":"Jenkins, R.J.: A hash function for hash table lookup (2006). http:\/\/burtleburtle.net\/bob\/hash\/doobs.html"},{"key":"5_CR8","unstructured":"Jenkins, R.J.: SpookyHash: a 128-bit Noncryptographic Hash (2012). http:\/\/burtleburtle.net\/bob\/hash\/spooky.html"},{"key":"5_CR9","unstructured":"Pike, G., Alakuijala, J.: Introducing CityHash (2011)"},{"issue":"4","key":"5_CR10","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1145\/360715.360737","volume":"18","author":"V Batagelj","year":"1975","unstructured":"Batagelj, V.: The quadratic hash method when the table size is not a primenumber. Commun. ACM 18(4), 216\u2013217 (1975). http:\/\/doi.acm.org\/10.1145\/360715.360737","journal-title":"Commun. ACM"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Ro\u010dkai, P., \u0160ill, V., Barnat, J.: Techniques for memory-efficient model checking of C and C++ code. In: Software Engineering and Formal Methods (2015, submitted)","DOI":"10.1007\/978-3-319-22969-0_19"},{"issue":"3","key":"5_CR12","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1145\/320083.320092","volume":"4","author":"R Fagin","year":"1979","unstructured":"Fagin, R., Nievergelt, J., Pippenger, N., Strong, H.R.: Extendible hashing\u2014a fast access method for dynamic files. ACM Trans. Database Syst. 4(3), 315\u2013344 (1979)","journal-title":"ACM Trans. Database Syst."},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1007\/978-3-642-39799-8_60","volume-title":"Computer Aided Verification","author":"J Barnat","year":"2013","unstructured":"Barnat, J., et al.: DiVinE 3.0 \u2013 anexplicit-state model checker for multithreaded C & C++ programs. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 863\u2013868. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23404-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,16]],"date-time":"2023-02-16T21:59:51Z","timestamp":1676584791000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23404-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319234038","9783319234045"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23404-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"27 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}