{"id":"https://openalex.org/W1973901361","doi":"https://doi.org/10.1109/hldvt.2010.5496651","title":"An ontology and constraint based approach to cache preloading","display_name":"An ontology and constraint based approach to cache preloading","publication_year":2010,"publication_date":"2010-06-01","ids":{"openalex":"https://openalex.org/W1973901361","doi":"https://doi.org/10.1109/hldvt.2010.5496651","mag":"1973901361"},"language":"en","primary_location":{"id":"doi:10.1109/hldvt.2010.5496651","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2010.5496651","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 IEEE International High Level Design Validation and Test Workshop (HLDVT)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Rajiv Bhatia","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Rajiv Bhatia","raw_affiliation_strings":["IBM Systems and Technology Group, Austin, TX, USA","IBM Systems & Technology Group, Austin, Texas"],"affiliations":[{"raw_affiliation_string":"IBM Systems and Technology Group, Austin, TX, USA","institution_ids":[]},{"raw_affiliation_string":"IBM Systems & Technology Group, Austin, Texas","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009876581","display_name":"Eyal Bin","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL","US"],"is_corresponding":false,"raw_author_name":"Eyal Bin","raw_affiliation_strings":["IBM Research Laboratory, Israel","IBM Research labs in Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"IBM Research Laboratory, Israel","institution_ids":["https://openalex.org/I4210167297"]},{"raw_affiliation_string":"IBM Research labs in Haifa, Israel","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075364956","display_name":"Eitan Marcus","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL","US"],"is_corresponding":false,"raw_author_name":"Eitan Marcus","raw_affiliation_strings":["IBM Research Laboratory, Israel","IBM Research labs in Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"IBM Research Laboratory, Israel","institution_ids":["https://openalex.org/I4210167297"]},{"raw_affiliation_string":"IBM Research labs in Haifa, Israel","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020810091","display_name":"Gil Shurek","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]},{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL","US"],"is_corresponding":false,"raw_author_name":"Gil Shurek","raw_affiliation_strings":["IBM Research Laboratory, Israel","IBM Research labs in Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"IBM Research Laboratory, Israel","institution_ids":["https://openalex.org/I4210167297"]},{"raw_affiliation_string":"IBM Research labs in Haifa, Israel","institution_ids":["https://openalex.org/I1341412227"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I1341412227"],"apc_list":null,"apc_paid":null,"fwci":0.2527,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.54227514,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"51","issue":null,"first_page":"129","last_page":"136"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.829804539680481},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.648080587387085},{"id":"https://openalex.org/keywords/initialization","display_name":"Initialization","score":0.5351899862289429},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.42506933212280273},{"id":"https://openalex.org/keywords/cache-oblivious-algorithm","display_name":"Cache-oblivious algorithm","score":0.41151753067970276},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.37022608518600464},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3605785369873047},{"id":"https://openalex.org/keywords/cache-algorithms","display_name":"Cache algorithms","score":0.3370136618614197},{"id":"https://openalex.org/keywords/cpu-cache","display_name":"CPU cache","score":0.32972532510757446},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.32001993060112},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2638428807258606},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.24894177913665771},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.0948052704334259}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.829804539680481},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.648080587387085},{"id":"https://openalex.org/C114466953","wikidata":"https://www.wikidata.org/wiki/Q6034165","display_name":"Initialization","level":2,"score":0.5351899862289429},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.42506933212280273},{"id":"https://openalex.org/C59687516","wikidata":"https://www.wikidata.org/wiki/Q5015938","display_name":"Cache-oblivious algorithm","level":5,"score":0.41151753067970276},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.37022608518600464},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3605785369873047},{"id":"https://openalex.org/C38556500","wikidata":"https://www.wikidata.org/wiki/Q13404475","display_name":"Cache algorithms","level":4,"score":0.3370136618614197},{"id":"https://openalex.org/C189783530","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"CPU cache","level":3,"score":0.32972532510757446},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.32001993060112},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2638428807258606},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.24894177913665771},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0948052704334259},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hldvt.2010.5496651","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2010.5496651","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 IEEE International High Level Design Validation and Test Workshop (HLDVT)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1566072248","https://openalex.org/W1604196524","https://openalex.org/W1658286076","https://openalex.org/W1963547452","https://openalex.org/W2019960051","https://openalex.org/W2042835116","https://openalex.org/W2107879810","https://openalex.org/W2113607428","https://openalex.org/W2121327775","https://openalex.org/W2121773050","https://openalex.org/W2136357775","https://openalex.org/W2142785340","https://openalex.org/W2147717805","https://openalex.org/W2175268987","https://openalex.org/W2337098149","https://openalex.org/W2426452510","https://openalex.org/W2460910254","https://openalex.org/W2481004071","https://openalex.org/W4213255380","https://openalex.org/W6637046749","https://openalex.org/W6655653803","https://openalex.org/W6676287438","https://openalex.org/W6678067405","https://openalex.org/W6703462244","https://openalex.org/W6721312643"],"related_works":["https://openalex.org/W2274935188","https://openalex.org/W2546991807","https://openalex.org/W2538519144","https://openalex.org/W2730690135","https://openalex.org/W2109265242","https://openalex.org/W4311655071","https://openalex.org/W2147122795","https://openalex.org/W2167303720","https://openalex.org/W2144941482","https://openalex.org/W4239937081"],"abstract_inverted_index":{"The":[0,62],"verification":[1,106,132,145],"of":[2,41,68,108,130,138],"modern":[3],"microprocessor-based":[4],"systems":[5],"requires":[6],"stressing":[7],"the":[8,39,44,47,66,76,128],"cache":[9,148],"hierarchy":[10,19,45,149],"and":[11,79,94,123,141,147],"effectively":[12],"covering":[13],"its":[14],"huge":[15],"state":[16],"space.":[17],"Cache":[18],"initialization":[20],"(or":[21],"preloading)":[22],"is":[23,101],"a":[24,32,57],"technique":[25,119],"that":[26,117],"enables":[27,142],"simulation":[28],"to":[29,71,88,95],"start":[30],"from":[31],"rich,":[33],"complex":[34],"system-level":[35],"setup,":[36],"thereby":[37],"simplifying":[38],"task":[40],"dynamically":[42],"driving":[43],"into":[46],"required":[48],"corner":[49],"cases.":[50],"In":[51],"this":[52,118],"paper":[53],"we":[54],"introduce":[55],"CacheLoader,":[56],"new,":[58],"design-independent":[59],"cache-preloading":[60,77],"technology.":[61],"tool's":[63],"architecture":[64],"follows":[65],"principles":[67],"ontology-based":[69],"software":[70],"achieve":[72],"complete":[73],"separation":[74],"between":[75],"engine":[78],"design":[80],"dependent":[81],"knowledge.":[82],"Constraint":[83],"satisfaction":[84],"techniques":[85],"are":[86],"used":[87,104],"generate":[89],"valid,":[90],"interesting":[91],"system":[92],"initialization,":[93],"satisfy":[96],"explicit":[97],"user":[98,124],"directives.":[99],"CacheLoader":[100],"currently":[102],"being":[103],"by":[105],"teams":[107],"several":[109],"large":[110],"scale":[111],"designs":[112],"in":[113],"IBM.":[114],"Results":[115],"show":[116],"provides":[120],"superior":[121],"coverage":[122],"controllability,":[125],"speeds":[126],"up":[127],"construction":[129],"mature":[131],"environments,":[133],"simplifies":[134],"maintenance,":[135],"encourages":[136],"encapsulation":[137],"domain":[139],"knowledge,":[140],"reuse":[143],"across":[144],"environments":[146],"designs.":[150]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-17T18:11:37.981687","created_date":"2025-10-10T00:00:00"}