{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:55:19Z","timestamp":1725566119343},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1109\/ddecs.2008.4538784","type":"proceedings-article","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T15:58:11Z","timestamp":1213113491000},"page":"1-5","source":"Crossref","is-referenced-by-count":3,"title":["Efficient Allocation of Verification Resources using Revision History Information"],"prefix":"10.1109","author":[{"given":"Jose Augusto","family":"Nacif","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thiago","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea Iabrudi","family":"Tavares","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio O.","family":"Fernandes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudionor N.","family":"Coelho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.1998.653706"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1023632027907"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1998.730899"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.12.029"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2005.91"},{"year":"0","key":"13"},{"year":"0","key":"14"},{"journal-title":"AMD Opteron bug can cause incorrect results","year":"0","key":"11"},{"journal-title":"PC 1GHz chip only runs properly","year":"0","author":"power","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007524"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.49"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/32.859533"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062514"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/54.895006"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2003.1270834"},{"year":"2005","key":"26","article-title":"mips32 architecture for programmers volume ii: the mips32 instruction set"},{"journal-title":"Computers and Intractability A Guide to the Theory of NP-Completeness","year":"1979","author":"garey","key":"27"},{"journal-title":"Knapsack Problems Algorithms and Computer Implementations","year":"1990","author":"martello","key":"28"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1231956.1231968"},{"year":"2007","key":"2"},{"journal-title":"Bug found in Intel's Itanium 2 could cause data loss","year":"0","author":"hachman","key":"10"},{"key":"1","article-title":"efficient computing and advanced visualization accelerates electronic design","author":"mitra","year":"2007","journal-title":"EETimes - Global News for the Creators of Technology"},{"journal-title":"The Pentium Bug - an Industry Watershed","year":"1995","author":"beizer","key":"7"},{"journal-title":"Assertion-Based Design","year":"2004","author":"foster","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/b105236"},{"key":"4","article-title":"verification: what works and what doesn't","author":"bentley","year":"2004","journal-title":"Proceedings of Design Automation Conference"},{"journal-title":"Intel's Hidden Xeon Pentium 4 bugs","year":"0","author":"magee","key":"9"},{"journal-title":"Boot-up bug discovered in Intel's desktop Coppermine chips","year":"0","author":"hachman","key":"8"}],"event":{"name":"2008 11th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS)","start":{"date-parts":[[2008,4,16]]},"location":"Bratislava, Slovakia","end":{"date-parts":[[2008,4,18]]}},"container-title":["2008 11th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4534845\/4538735\/04538784.pdf?arnumber=4538784","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T12:14:58Z","timestamp":1489666498000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4538784\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/ddecs.2008.4538784","relation":{},"subject":[],"published":{"date-parts":[[2008,4]]}}}