{"id":"https://openalex.org/W2138952175","doi":"https://doi.org/10.1109/dac.1995.249991","title":"Performance Analysis of Embedded Software Using Implicit Path Enumeration","display_name":"Performance Analysis of Embedded Software Using Implicit Path Enumeration","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W2138952175","doi":"https://doi.org/10.1109/dac.1995.249991","mag":"2138952175"},"language":"en","primary_location":{"id":"doi:10.1109/dac.1995.249991","doi":"https://doi.org/10.1109/dac.1995.249991","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac.1995.249991","pdf_url":null,"source":{"id":"https://openalex.org/S4210231368","display_name":"ACM/IEEE Design Automation Conference (DAC)","issn_l":"0738-100X","issn":["0738-100X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"32nd Design Automation Conference","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/217474.217570","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033534883","display_name":"Yau-Tsun Steven Li","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yau-Tsun Steven Li","raw_affiliation_strings":["Department of Electrical Engineering, Princeton University, NJ"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Princeton University, NJ","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085975362","display_name":"Sharad Malik","orcid":"https://orcid.org/0000-0002-0837-5443","observed_orcids":["https://orcid.org/0000-0002-0837-5443"]},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sharad Malik","raw_affiliation_strings":["Department of Electrical Engineering, Princeton University, NJ"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Princeton University, NJ","institution_ids":["https://openalex.org/I20089843"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I20089843"],"apc_list":null,"apc_paid":null,"fwci":4.5881,"has_fulltext":true,"cited_by_count":420,"citation_normalized_percentile":{"value":0.95298507,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"456","last_page":"461"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9394999742507935,"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.9394999742507935,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.04899999871850014,"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.0044999998062849045,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/embedded-software","display_name":"embedded software","score":0.9340000152587891},{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"worst-case execution time","score":0.7149999737739563},{"id":"https://openalex.org/keywords/integer-linear-programming","display_name":"integer linear programming","score":0.8650000095367432},{"id":"https://openalex.org/keywords/real-time-constraints","display_name":"real-time constraints","score":0.7889999747276306},{"id":"https://openalex.org/keywords/worst-case-execution-time-analysis","display_name":"worst-case execution time analysis","score":0.48100000619888306}],"concepts":[{"id":"https://openalex.org/C2778805511","wikidata":"https://www.wikidata.org/wiki/Q1713","display_name":"Citation","level":2,"score":0.7296855449676514},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5858926773071289},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.4996018409729004},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4812488257884979},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.44616997241973877},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.39013317227363586},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.26674193143844604},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2619408965110779},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2278372347354889},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/dac.1995.249991","doi":"https://doi.org/10.1109/dac.1995.249991","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac.1995.249991","pdf_url":null,"source":{"id":"https://openalex.org/S4210231368","display_name":"ACM/IEEE Design Automation Conference (DAC)","issn_l":"0738-100X","issn":["0738-100X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"32nd Design Automation Conference","raw_type":"proceedings-article"},{"id":"doi:10.1145/217474.217570","doi":"https://doi.org/10.1145/217474.217570","is_oa":true,"landing_page_url":"https://doi.org/10.1145/217474.217570","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/217474.217570","source":{"id":"https://openalex.org/S4210231368","display_name":"ACM/IEEE Design Automation Conference (DAC)","issn_l":"0738-100X","issn":["0738-100X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.585.3200","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.585.3200","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/1995/dac95/pdffiles/27_1.pdf","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/217474.217570","doi":"https://doi.org/10.1145/217474.217570","is_oa":true,"landing_page_url":"https://doi.org/10.1145/217474.217570","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/217474.217570","source":{"id":"https://openalex.org/S4210231368","display_name":"ACM/IEEE Design Automation Conference (DAC)","issn_l":"0738-100X","issn":["0738-100X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95","raw_type":"proceedings-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2138952175.pdf","grobid_xml":"https://content.openalex.org/works/W2138952175.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W629215354","https://openalex.org/W1491178396","https://openalex.org/W1495162277","https://openalex.org/W1586201663","https://openalex.org/W1604756673","https://openalex.org/W2024800288","https://openalex.org/W2106454317","https://openalex.org/W2113535112","https://openalex.org/W2130133810","https://openalex.org/W2138086100","https://openalex.org/W2157160077","https://openalex.org/W2335345028","https://openalex.org/W4247494086"],"related_works":["https://openalex.org/W2140358888","https://openalex.org/W2583897574","https://openalex.org/W7096054006","https://openalex.org/W2140183411","https://openalex.org/W2154158220","https://openalex.org/W2014648503","https://openalex.org/W4236025982","https://openalex.org/W2086060345","https://openalex.org/W4247776056","https://openalex.org/W4240549120"],"abstract_inverted_index":{"Embedded":[0],"computer":[1],"systems":[2,19],"are":[3,132],"characterized":[4],"by":[5,103],"the":[6,26,30,33,51,58,77,87,90,112],"presence":[7],"of":[8,17,28,36,46,57,67,72,79,89,128],"a":[9,37,41,93,119],"processor":[10,122],"running":[11,34],"application":[12],"specific":[13],"software.A":[14],"large":[15],"number":[16,78],"these":[18],"must":[20],"satisfy":[21],"real-time":[22],"constraints.This":[23],"paper":[24],"examines":[25],"problem":[27,48],"determining":[29,50],"bound":[31],"on":[32,40,63],"time":[35],"given":[38,42],"program":[39,54,68,81,113],"processor.An":[43],"important":[44],"aspect":[45],"this":[47,96,130],"is":[49,83,109],"extreme":[52],"case":[53],"paths.The":[55],"state":[56],"art":[59],"solution":[60,94,108],"here":[61],"relies":[62],"an":[64],"explicit":[65],"enumeration":[66],"paths.This":[69],"runs":[70],"out":[71],"steam":[73],"rather":[74],"quickly":[75],"since":[76],"feasible":[80],"paths":[82,101],"typically":[84],"exponential":[85],"in":[86,111],"size":[88],"program.We":[91],"present":[92],"for":[95],"problem,":[97],"which":[98,116],"considers":[99],"all":[100],"implicitly":[102],"using":[104,129],"integer":[105],"linear":[106],"programming.This":[107],"implemented":[110],"cinderella":[114],"1":[115],"currently":[117],"targets":[118],"popular":[120],"embedded":[121],"-the":[123],"Intel":[124],"i960.The":[125],"preliminary":[126],"results":[127],"tool":[131],"presented":[133],"here.":[134]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":10},{"year":2019,"cited_by_count":8},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":17},{"year":2016,"cited_by_count":17},{"year":2015,"cited_by_count":19},{"year":2014,"cited_by_count":18},{"year":2013,"cited_by_count":25},{"year":2012,"cited_by_count":17}],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2016-06-24T00:00:00"}