{"id":"https://openalex.org/W2096731987","doi":"https://doi.org/10.4230/oasics.wcet.2010.36","title":"Integrating Abstract Caches with Symbolic Pipeline Analysis","display_name":"Integrating Abstract Caches with Symbolic Pipeline Analysis","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W2096731987","doi":"https://doi.org/10.4230/oasics.wcet.2010.36","mag":"2096731987"},"language":"en","primary_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:2823","doi":null,"is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.36","pdf_url":"https://drops.dagstuhl.de/storage/01oasics/oasics-vol015-wcet2010/OASIcs.WCET.2010.36/OASIcs.WCET.2010.36.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/storage/01oasics/oasics-vol015-wcet2010/OASIcs.WCET.2010.36/OASIcs.WCET.2010.36.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103350345","display_name":"Stephan Wilhelm","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wilhelm, Stephan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5068560097","display_name":"Christoph Cullmann","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cullmann, Christoph","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4264,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.75594623,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"15","issue":null,"first_page":"36","last_page":"43"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.7856000065803528,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.7856000065803528,"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/T10142","display_name":"Formal Methods in Verification","score":0.15360000729560852,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.025499999523162842,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/worst-case-execution-time","display_name":"worst-case execution time","score":0.765999972820282},{"id":"https://openalex.org/keywords/real-time-systems","display_name":"real-time systems","score":0.8650000095367432},{"id":"https://openalex.org/keywords/binary-decision-diagrams","display_name":"binary decision diagrams","score":0.8920000195503235},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"abstract interpretation","score":0.7960000038146973},{"id":"https://openalex.org/keywords/state-space-exploration","display_name":"state space exploration","score":0.8360000252723694}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8512341976165771},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.7588086128234863},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.7333953380584717},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.6550147533416748},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.627804160118103},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.5927062034606934},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5487589836120605},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5165223479270935},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5139545798301697},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.5083321928977966},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.48464852571487427},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.47251686453819275},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.4562864899635315},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4519384801387787},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45071280002593994},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4453577995300293},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4188097417354584},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3278210759162903},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:drops-oai.dagstuhl.de:2823","doi":null,"is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.36","pdf_url":"https://drops.dagstuhl.de/storage/01oasics/oasics-vol015-wcet2010/OASIcs.WCET.2010.36/OASIcs.WCET.2010.36.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.688.1249","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.688.1249","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://drops.dagstuhl.de/opus/volltexte/2010/2823/pdf/5.pdf","raw_type":"text"},{"id":"doi:10.4230/oasics.wcet.2010.36","doi":"https://doi.org/10.4230/oasics.wcet.2010.36","is_oa":true,"landing_page_url":"https://doi.org/10.4230/oasics.wcet.2010.36","pdf_url":null,"source":{"id":"https://openalex.org/S7407061190","display_name":"OASIcs : OpenAccess Series in Informatics","issn_l":"2190-6807","issn":["2190-6807"],"is_oa":true,"is_in_doaj":true,"is_core":false,"listed_in":["doaj"],"host_organization":"https://openalex.org/P4310313770","host_organization_name":"Schloss Dagstuhl \u2014 Leibniz-Zentrum fuer Informatik","host_organization_lineage":["https://openalex.org/P4310313770"],"host_organization_lineage_names":["Schloss Dagstuhl \u2014 Leibniz-Zentrum fuer Informatik"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},{"id":"mag:2096731987","doi":null,"is_oa":false,"landing_page_url":"https://drops.dagstuhl.de/opus/volltexte/2010/2823/pdf/5.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306421334","display_name":"Worst-Case Execution Time Analysis","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Worst-Case Execution Time Analysis","raw_type":null}],"best_oa_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:2823","doi":null,"is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2010.36","pdf_url":"https://drops.dagstuhl.de/storage/01oasics/oasics-vol015-wcet2010/OASIcs.WCET.2010.36/OASIcs.WCET.2010.36.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2096731987.pdf","grobid_xml":"https://content.openalex.org/works/W2096731987.grobid-xml"},"referenced_works_count":9,"referenced_works":["https://openalex.org/W1493655656","https://openalex.org/W1507495123","https://openalex.org/W1549916137","https://openalex.org/W1590639119","https://openalex.org/W2043100293","https://openalex.org/W2080267935","https://openalex.org/W2104626020","https://openalex.org/W2112141967","https://openalex.org/W2145588365"],"related_works":["https://openalex.org/W1590639119","https://openalex.org/W2145588365","https://openalex.org/W2294539089","https://openalex.org/W2110588681","https://openalex.org/W7163911931","https://openalex.org/W7096243840","https://openalex.org/W2170641010","https://openalex.org/W7100210320","https://openalex.org/W7098048758","https://openalex.org/W1533929374"],"abstract_inverted_index":{"Static":[0],"worst-case":[1],"execution":[2,30],"time":[3,31],"analysis":[4,109],"of":[5,18,69,90],"real-time":[6],"tasks":[7,24],"is":[8,52,110],"based":[9],"on":[10,21],"abstract":[11,43,99,104],"models":[12],"that":[13,132],"capture":[14],"the":[15,19,23,42,46,70,86,91],"timing":[16],"behavior":[17],"processor":[20],"which":[22,40],"run.":[25],"For":[26],"complex":[27],"processors,":[28],"task-level":[29],"bounds":[32],"are":[33,76],"obtained":[34],"by":[35],"a":[36,64,116],"state":[37,49,66,93],"space":[38,50,67],"exploration":[39,51,68],"involves":[41],"model":[44],"and":[45,128],"program.":[47],"Partial":[48],"not":[53],"sound.":[54],"Symbolic":[55],"methods":[56],"using":[57,98],"binary":[58],"decision":[59],"diagrams":[60],"(BDDs)":[61],"allow":[62],"for":[63],"full":[65],"pipeline,":[71],"thereby":[72],"maintaining":[73],"soundness.":[74],"Caches":[75],"too":[77],"large":[78],"to":[79,102,119],"admit":[80],"an":[81,111,138],"efficient":[82,139],"BDD":[83],"representation.":[84],"On":[85],"other":[87],"hand,":[88],"invariants":[89],"cache":[92],"can":[94],"be":[95],"computed":[96],"efficiently":[97],"interpretation.":[100],"How":[101],"integrate":[103],"caches":[105],"with":[106],"symbolic-state":[107],"pipeline":[108],"open":[112],"question.":[113],"We":[114],"propose":[115],"semi-symbolic":[117],"domain":[118,135],"solve":[120],"this":[121,133],"problem.":[122],"Statistical":[123],"data":[124],"from":[125],"industrial-level":[126],"software":[127],"WCET":[129],"tools":[130],"indicate":[131],"new":[134],"will":[136],"enable":[137],"analysis.":[140]},"counts_by_year":[],"updated_date":"2026-09-08T07:41:39.490200","created_date":"2016-06-24T00:00:00"}