{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:04:15Z","timestamp":1767261855009},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/rtas.2015.7108434","type":"proceedings-article","created":{"date-parts":[[2015,5,19]],"date-time":"2015-05-19T16:03:54Z","timestamp":1432051434000},"page":"121-132","source":"Crossref","is-referenced-by-count":25,"title":["SPeCK: a kernel for scalable predictability"],"prefix":"10.1109","author":[{"given":"Qi","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuxin","family":"Ren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matt","family":"Scaperoth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Parmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Corey: An operating system for many cores","author":"boyd-wickizer","year":"2008","journal-title":"OSDI"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.61"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465373"},{"key":"ref13","article-title":"Tornado: Maximizing locality and concurrency in a shared memory multiprocessor operating system","author":"gamsa","year":"1999","journal-title":"OSDI"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2013.38"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.17"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629579"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6926008"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2011.25"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.13"},{"article-title":"Scalability of microkernel-based systems","year":"2005","author":"uhlig","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522714"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2002.1181568"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522720"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2013.19"},{"key":"ref1","article-title":"Bounding memory interference delay in COTS-based multicore systems","author":"kim","year":"2014","journal-title":"RTAS"},{"key":"ref9","article-title":"Evolving Mach 3.0 to a migrating thread model","author":"ford","year":"1994","journal-title":"WTEC"}],"event":{"name":"2015 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","start":{"date-parts":[[2015,4,13]]},"location":"Seattle, WA, USA","end":{"date-parts":[[2015,4,16]]}},"container-title":["21st IEEE Real-Time and Embedded Technology and Applications Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7106274\/7108386\/07108434.pdf?arnumber=7108434","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T14:16:11Z","timestamp":1490364971000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7108434\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/rtas.2015.7108434","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}