{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T04:48:23Z","timestamp":1749271703792},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1109\/memcod.2012.6292306","type":"proceedings-article","created":{"date-parts":[[2012,9,10]],"date-time":"2012-09-10T15:45:06Z","timestamp":1347291906000},"page":"99-108","source":"Crossref","is-referenced-by-count":2,"title":["Interdependent cache analyses for better precision and safety"],"prefix":"10.1109","author":[{"given":"Kartik","family":"Nagar","sequence":"first","affiliation":[]},{"given":"Y. N.","family":"Srikant","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","article-title":"Cache persistence analysis - A novel approach theory and practice","author":"cullmann","year":"2011","journal-title":"LCTES"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1023\/A:1008141130870","article-title":"Fast and precise WCET prediction by separated cache and path analyses","author":"theiling","year":"2000","journal-title":"Real- Time Systems"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.8"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289960"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008145215849"},{"key":"6","article-title":"On predicting data cache behavior for real-time systems","author":"ferdinand","year":"1998","journal-title":"LCTES"},{"key":"5","article-title":"Cache behavior prediction by abstract interpretation","author":"alt","year":"1996","journal-title":"SAS"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2011.27"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.10"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.1997.601358"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"}],"event":{"name":"2012 10th IEEE\/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012)","start":{"date-parts":[[2012,7,16]]},"location":"Arlington, VA, USA","end":{"date-parts":[[2012,7,17]]}},"container-title":["Tenth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6287679\/6292291\/06292306.pdf?arnumber=6292306","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T19:58:59Z","timestamp":1497988739000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6292306\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/memcod.2012.6292306","relation":{},"subject":[],"published":{"date-parts":[[2012,7]]}}}