{"id":"https://openalex.org/W4254525920","doi":"https://doi.org/10.1109/isss.2002.1227184","title":"A symbolic approach for the combined solution of scheduling and allocation","display_name":"A symbolic approach for the combined solution of scheduling and allocation","publication_year":2003,"publication_date":"2003-10-01","ids":{"openalex":"https://openalex.org/W4254525920","doi":"https://doi.org/10.1109/isss.2002.1227184"},"language":"en","primary_location":{"id":"doi:10.1109/isss.2002.1227184","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isss.2002.1227184","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"15th International Symposium on System Synthesis, 2002.","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":"https://openalex.org/A5024632403","display_name":"G. Cabodi","orcid":null},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"G. Cabodi","raw_affiliation_strings":["Politecnico di Torino, Turin, ITALY"],"affiliations":[{"raw_affiliation_string":"Politecnico di Torino, Turin, ITALY","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048515064","display_name":"M. Lazarescu","orcid":null},"institutions":[{"id":"https://openalex.org/I66217453","display_name":"Cadence Design Systems (United States)","ror":"https://ror.org/04w8xa018","country_code":"US","type":"company","lineage":["https://openalex.org/I66217453"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"M. Lazarescu","raw_affiliation_strings":["Cadence Design Systems, Inc., Turin, ITALY"],"affiliations":[{"raw_affiliation_string":"Cadence Design Systems, Inc., Turin, ITALY","institution_ids":["https://openalex.org/I66217453"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036909825","display_name":"L. Lavagno","orcid":null},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"L. Lavagno","raw_affiliation_strings":["Politecnico di Torino, Turin, ITALY"],"affiliations":[{"raw_affiliation_string":"Politecnico di Torino, Turin, ITALY","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002409924","display_name":"S. Nocco","orcid":null},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"S. Nocco","raw_affiliation_strings":["Politecnico di Torino, Turin, ITALY"],"affiliations":[{"raw_affiliation_string":"Politecnico di Torino, Turin, ITALY","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036240940","display_name":"C. Passerone","orcid":null},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"C. Passerone","raw_affiliation_strings":["Politecnico di Torino, Turin, ITALY"],"affiliations":[{"raw_affiliation_string":"Politecnico di Torino, Turin, ITALY","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027404653","display_name":"S. Quer","orcid":null},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"S. Quer","raw_affiliation_strings":["Politecnico di Torino, Turin, ITALY"],"affiliations":[{"raw_affiliation_string":"Politecnico di Torino, Turin, ITALY","institution_ids":["https://openalex.org/I177477856"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5024632403"],"corresponding_institution_ids":["https://openalex.org/I177477856"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.66288765,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10551","display_name":"Scheduling and Optimization Algorithms","score":0.7062000036239624,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10551","display_name":"Scheduling and Optimization Algorithms","score":0.7062000036239624,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.7208025455474854},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5533806085586548},{"id":"https://openalex.org/keywords/processor-scheduling","display_name":"Processor scheduling","score":0.46685343980789185},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.40809017419815063},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.35531294345855713},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.33228588104248047},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12349677085876465},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.1050199568271637}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7208025455474854},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5533806085586548},{"id":"https://openalex.org/C2984822820","wikidata":"https://www.wikidata.org/wiki/Q1123036","display_name":"Processor scheduling","level":3,"score":0.46685343980789185},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.40809017419815063},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.35531294345855713},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.33228588104248047},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12349677085876465},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.1050199568271637},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/isss.2002.1227184","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isss.2002.1227184","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"15th International Symposium on System Synthesis, 2002.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1809394610","https://openalex.org/W2128410848","https://openalex.org/W2101285930","https://openalex.org/W2102390841","https://openalex.org/W2118368532","https://openalex.org/W2126232624","https://openalex.org/W2434525066","https://openalex.org/W3140149227","https://openalex.org/W2096289371","https://openalex.org/W2130555437"],"abstract_inverted_index":{"Scheduling":[0],"is":[1,14],"widely":[2],"recognized":[3],"as":[4],"a":[5,72,77,83,91,118],"very":[6],"important":[7],"step":[8],"in":[9],"high-level":[10],"synthesis.":[11],"Nevertheless,":[12],"it":[13,62,81,95],"usually":[15],"done":[16],"without":[17],"taking":[18],"into":[19],"account":[20],"the":[21,24,47,97,125,128],"effects":[22],"on":[23,117],"actual":[25],"hardware":[26],"implementation.":[27],"This":[28],"paper":[29],"presents":[30],"an":[31,64],"efficient":[32,65],"symbolic":[33,73],"technique":[34,44],"to":[35,102],"concurrently":[36],"integrate":[37],"operation":[38,88],"scheduling":[39,74],"and":[40,58,109,113],"resource":[41],"allocation.":[42],"The":[43],"inherits":[45],"all":[46],"features":[48],"of":[49,67,87,99,106,122,127],"\"standard\"":[50],"BDD-based":[51],"control":[52],"dominated":[53],"scheduling,":[54],"including":[55],"resource-constraining,":[56],"speculation":[57],"pruning.":[59],"In":[60],"addition,":[61],"introduces":[63],"way":[66],"encoding":[68],"allocation":[69,86],"information":[70],"within":[71],"automaton":[75],"with":[76],"two-folded":[78],"target.":[79],"Firstly,":[80],"finds":[82],"minimum":[84],"cost":[85],"resources":[89],"satisfying":[90],"given":[92],"schedule.":[93],"Secondly,":[94],"optimizes":[96],"amount":[98],"registers":[100],"required":[101],"store":[103],"intermediate":[104],"results":[105,116],"operations.":[107],"Theory":[108],"algorithms":[110],"are":[111],"developed":[112],"presented.":[114],"Experimental":[115],"well":[119],"known":[120],"set":[121],"benchmarks":[123],"show":[124],"potentiality":[126],"approach.":[129]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}