{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T18:03:31Z","timestamp":1730225011455,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1109\/hldvt.2010.5496651","type":"proceedings-article","created":{"date-parts":[[2010,7,6]],"date-time":"2010-07-06T14:06:27Z","timestamp":1278425187000},"page":"129-136","source":"Crossref","is-referenced-by-count":1,"title":["An ontology and constraint based approach to cache preloading"],"prefix":"10.1109","author":[{"given":"Rajiv","family":"Bhatia","sequence":"first","affiliation":[]},{"given":"Eyal","family":"Bin","sequence":"additional","affiliation":[]},{"given":"Eitan","family":"Marcus","sequence":"additional","affiliation":[]},{"given":"Gil","family":"Shurek","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"The Art of Verification with Vera Verification Central","year":"2001","author":"haque","key":"ref10"},{"key":"ref11","article-title":"Step-by-Step Functional Verification with SystemVerilog and OVM","author":"iman","year":"2008","journal-title":"Hansen Brown"},{"key":"ref12","volume":"51","author":"le","year":"2007","journal-title":"2007 IBM POWER6™ Microarchitecture IBM Journal of Research and Development"},{"key":"ref13","article-title":"A Framework for Representing Knowledge","author":"minsky","year":"1974","journal-title":"MIT-AI Laboratory Memo 306"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"ref15","first-page":"13","article-title":"Constraint-Based Random Stimuli Generation for Hardware Verification","volume":"28","author":"naveh","year":"0","journal-title":"AI Magazine"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICIW.2009.77"},{"key":"ref17","article-title":"The Knowledge Model of Protege-2000: Combining Interoperability and Flexibility","author":"noy","year":"2000","journal-title":"EKAW"},{"journal-title":"UML 2 0 Specification","year":"2005","key":"ref18"},{"journal-title":"Design Verification with e","year":"2003","author":"palnitkar","key":"ref19"},{"key":"ref4","article-title":"Theory and Practice of Constraint Propagation","author":"bart\u00e1k","year":"2001","journal-title":"CPDC2001"},{"key":"ref3","article-title":"X-Gen: A Random Test-Case Generator for Systems and Socs","author":"aloni","year":"0","journal-title":"HLDVT 2002"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1147\/sj.413.0386"},{"journal-title":"Design and Evaluation of a Constraint Satisfaction Problem Solver-Based Cache Preloader","year":"2008","author":"bhatia","key":"ref5"},{"key":"ref8","article-title":"Wonder Tools? A Comparative Study of Ontological Engineering Tools","author":"duineveld","year":"1999","journal-title":"KAW"},{"article-title":"Constraint Processing","year":"2003","author":"dechter","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2003.1250255"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2004.1277900"},{"key":"ref9","first-page":"325","article-title":"Utilizing Semantic Web and Software Agents in a Travel Support System","author":"ganzha","year":"2006","journal-title":"Semantic Web Technologies and eBusiness"},{"journal-title":"Theory of Linear and Integer Programming","year":"1998","author":"schrijver","key":"ref20"},{"key":"ref21","article-title":"System Performance Scaling of IBM POWER6™ Based Servers","volume":"19","author":"stuecheli","year":"2007","journal-title":"HOTCHIPS"}],"event":{"name":"2010 IEEE International High Level Design Validation and Test Workshop (HLDVT)","start":{"date-parts":[[2010,6,10]]},"location":"Anaheim, FL, USA","end":{"date-parts":[[2010,6,12]]}},"container-title":["2010 IEEE International High Level Design Validation and Test Workshop (HLDVT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5488975\/5496643\/05496651.pdf?arnumber=5496651","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T19:36:13Z","timestamp":1489865773000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5496651\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2010.5496651","relation":{},"subject":[],"published":{"date-parts":[[2010,6]]}}}