{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T07:59:24Z","timestamp":1767167964004,"version":"build-2238731810"},"reference-count":0,"publisher":"Association for Computing Machinery (ACM)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["ACM Trans. Embed. Comput. Syst.","TECS"],"published-print":{"date-parts":[[2013,8,1]]},"DOI":"10.1145\/2501626.2512456","type":"journal-article","created":{"date-parts":[[2013,9,11]],"date-time":"2013-09-11T02:54:48Z","timestamp":1378868088000},"page":"1-18","source":"Crossref","is-referenced-by-count":1,"title":["Leveraging speculative architectures for runtime program validation"],"prefix":"10.1145","volume":"13","author":[{"given":"Juan Carlos Martinez","family":"Santos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yunsi","family":"Fei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/ft_gateway.cfm?id=2512456&ftid=1392396&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,9]],"date-time":"2019-07-09T16:42:19Z","timestamp":1562690539000},"score":1,"resource":{"primary":{"URL":"http:\/\/dl.acm.org\/citation.cfm?doid=2501626.2512456"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,1]]},"references-count":0,"aliases":["10.1145\/2512456"],"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,8,1]]}},"URL":"https:\/\/doi.org\/10.1145\/2501626.2512456","relation":{},"ISSN":["1539-9087"],"issn-type":[{"value":"1539-9087","type":"print"}],"subject":[],"published":{"date-parts":[[2013,8,1]]}}}