{"id":"https://openalex.org/W2021702364","doi":"https://doi.org/10.1016/s1571-0661(05)80482-7","title":"Abstracts of Invited Talks","display_name":"Abstracts of Invited Talks","publication_year":2002,"publication_date":"2002-06-01","ids":{"openalex":"https://openalex.org/W2021702364","doi":"https://doi.org/10.1016/s1571-0661(05)80482-7","mag":"2021702364"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80482-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80482-7","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"conference-abstract","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)80482-7","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110255670","display_name":"Giorgio Buttazzo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Giorgio Buttazzo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006638457","display_name":"Avi Efrati","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Avi Efrati","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012944737","display_name":"John Hooker","orcid":"https://orcid.org/0000-0002-7084-3084"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John Hooker","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057318656","display_name":"Claude Le Pape","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Claude Le Pape","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5075454664","display_name":"Joseph Sifakis","orcid":"https://orcid.org/0000-0003-2447-7981"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Joseph Sifakis","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":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"65","issue":"6","first_page":"275","last_page":"276"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9968000054359436,"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.9968000054359436,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9965000152587891,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.993399977684021,"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.7869194746017456},{"id":"https://openalex.org/keywords/workload","display_name":"Workload","score":0.7176476716995239},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.7049748301506042},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5222247838973999},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.501922607421875},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.4791357219219208},{"id":"https://openalex.org/keywords/resource-efficiency","display_name":"Resource efficiency","score":0.4756350517272949},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4688721001148224},{"id":"https://openalex.org/keywords/quality-of-service","display_name":"Quality of service","score":0.4327585697174072},{"id":"https://openalex.org/keywords/scale","display_name":"Scale (ratio)","score":0.421691358089447},{"id":"https://openalex.org/keywords/industrial-engineering","display_name":"Industrial engineering","score":0.37236613035202026},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3231939971446991},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13317281007766724},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.100796639919281}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7869194746017456},{"id":"https://openalex.org/C2778476105","wikidata":"https://www.wikidata.org/wiki/Q628539","display_name":"Workload","level":2,"score":0.7176476716995239},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.7049748301506042},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5222247838973999},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.501922607421875},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.4791357219219208},{"id":"https://openalex.org/C2777958785","wikidata":"https://www.wikidata.org/wiki/Q17120940","display_name":"Resource efficiency","level":2,"score":0.4756350517272949},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4688721001148224},{"id":"https://openalex.org/C5119721","wikidata":"https://www.wikidata.org/wiki/Q220501","display_name":"Quality of service","level":2,"score":0.4327585697174072},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.421691358089447},{"id":"https://openalex.org/C13736549","wikidata":"https://www.wikidata.org/wiki/Q4489420","display_name":"Industrial engineering","level":1,"score":0.37236613035202026},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3231939971446991},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13317281007766724},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.100796639919281},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"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/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80482-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80482-7","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80482-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80482-7","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","score":0.4300000071525574,"display_name":"Decent work and economic growth"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W1505443956","https://openalex.org/W1975565860"],"related_works":["https://openalex.org/W986318368","https://openalex.org/W2000785801","https://openalex.org/W2384410913","https://openalex.org/W2352878646","https://openalex.org/W2990194547","https://openalex.org/W2004734601","https://openalex.org/W2130149817","https://openalex.org/W1480123525","https://openalex.org/W2414054180","https://openalex.org/W4214892316"],"abstract_inverted_index":{"Towards":[0],"Adaptive":[1],"Real-Time":[2],"Systems":[3,610],"Giorgio":[4],"Buttazzo":[5],"University":[6,346],"of":[7,81,102,109,114,122,169,177,179,205,212,288,304,337,430,468,504,507,524,571,574,576,585,608,633,654,658,665,681,690,709,720,732,738,754,772],"Pavia":[8],"Italy":[9],"Modern":[10],"real-time":[11,39,56,67,103,132],"applications,":[12],"including":[13],"multimedia":[14],"systems,":[15,104,133,662],"mobile":[16],"robotics,":[17],"and":[18,46,83,99,214,229,241,256,262,281,294,339,355,386,401,408,439,458,478,509,516,578,587,598,636,672,726,758],"distributed":[19],"monitoring":[20],"architectures,":[21],"often":[22],"operate":[23],"in":[24,35,325,377,442,454,533,552,583,621,706,756],"highly":[25],"dynamic":[26],"environments":[27],"where":[28,763],"workload":[29,147],"conditions":[30,657,765],"are":[31,47,153,381,543,766],"difficult":[32],"to":[33,64,118,129,155,161,226,364,415,422,460,464,497,500,511,531,545,560,568,626,735,776],"predict":[34],"advance.":[36],"In":[37,149,696],"addition,":[38],"activities":[40,461],"may":[41],"have":[42,156,496],"variable":[43],"computational":[44],"requirements":[45],"characterized":[48],"by":[49,274,334,383,399,409],"more":[50,228,230,240,242],"flexible":[51,744],"timing":[52,159,267,292,305,310,315],"constraints":[53,160,469,523],"than":[54],"classical":[55],"theory":[57],"usually":[58],"permits.":[59],"Handling":[60],"such":[61,328,742],"systems":[62,136,648,678,757],"according":[63],"a":[65,79,107,120,186,209,271,335,373,391,404,412,427,466,505,525,572,618,628,644,666,718],"hard":[66],"paradigm":[68],"(based":[69],"on":[70,144,647,687,693],"worst-case":[71],"assumptions)":[72],"is":[73,117,172,217,363,372,390,617,651],"inappropriate,":[74],"because":[75],"it":[76],"would":[77,84],"cause":[78],"waste":[80],"resources":[82,459,510],"dramatically":[85],"increase":[86],"the":[87,97,100,145,167,175,215,224,236,239,278,370,387,416,424,431,502,521,534,540,569,593,606,652,655,688,707,736,752,773],"cost.":[88],"Recently,":[89],"significant":[90],"work":[91,435],"has":[92],"been":[93],"devoted":[94],"at":[95,195,277,307],"increasing":[96,219,275],"flexibility":[98,586],"efficiency":[101],"still":[105],"providing":[106],"form":[108],"performance":[110,484],"guarantee.":[111],"The":[112,202,589],"goal":[113],"this":[115,150,546,566,697],"talk":[116,299,698],"introduce":[119],"set":[121],"new":[123],"methodologies":[124],"that":[125,134,312,352,369,520,539,542],"can":[126,138,182,640,683],"be":[127,183,317,498,529,561,627,641,684],"adopted":[128],"develop":[130],"adaptive":[131],"is,":[135],"which":[137,181,252,285,378,722],"modify":[139],"resource":[140,164,474],"management":[141],"policies":[142],"based":[143],"current":[146,203],"conditions.":[148],"framework,":[151],"tasks":[152],"allowed":[154],"less":[157],"stringent":[158],"achieve":[162],"higher":[163,249],"utilization.":[165],"Moreover,":[166],"concept":[168,630],"yes-or-no":[170],"guarantee":[171],"replaced":[173],"with":[174,245,323,436,580],"notion":[176,620,719],"quality":[178],"service,":[180],"specified":[184,768],"within":[185,232],"much":[187],"larger":[188],"grey-level":[189],"scale.":[190],"Real":[191],"Life":[192],"Timing":[193],"Analysis":[194],"Intel":[196],"Avi":[197],"Efrati":[198],"Intel,":[199],"Haifa":[200],"Israel":[201],"generation":[204],"VLSI":[206],"CPU's":[207],"include":[208],"huge":[210],"number":[211],"devices":[213,247,264],"complexity":[216],"continuously":[218],"as":[220,319,321,329,463,643,743],"technology":[221],"scaling":[222],"allows":[223],"designers":[225],"put":[227],"functionality":[231],"same":[233,237,417],"area.":[234],"At":[235],"time":[238,508,577,694,727,755,761],"advanced":[243],"processes":[244],"faster":[246],"allow":[248],"operating":[250],"frequency":[251],"require":[253,265],"considering":[254],"inductance":[255],"other":[257],"physical":[258],"effects.":[259],"Lower":[260],"voltages":[261],"smaller":[263],"increased":[266],"accuracy.":[268],"We":[269],"take":[270],"two-prong":[272],"approach,":[273],"accuracy":[276,293],"local":[279],"level":[280],"supporting":[282],"hierarchical":[283],"models":[284,311,575,597,762],"abstract":[286],"internals":[287],"blocks":[289],"while":[290],"preserving":[291,740],"interface":[295],"electrical":[296],"behaviour.":[297],"This":[298],"will":[300,316,591],"give":[301],"an":[302],"overview":[303],"analysis":[306],"intel.":[308],"Hierarchical":[309],"enable":[313],"full-chip":[314],"described":[318],"well":[320],"interaction":[322],"academia":[324],"timing-related":[326],"topics,":[327],"false":[330],"paths":[331],"identification.":[332],"Scheduling":[333,444,452],"Combination":[336],"Mathematical":[338],"Constraint":[340],"Programming":[341],"John":[342],"Hooker":[343],"Carnegie":[344],"Mellon":[345],"Pittsburgh,":[347],"USA":[348],"I":[349,396,419],"survey":[350],"decomposition-methods":[351],"combine":[353],"mathematical":[354],"constraint":[356,374,433],"programming":[357,375,394],"for":[358,403,411,631,711,760],"solving":[359],"scheduling":[360,406,513,557],"problems.":[361],"Theidea":[362],"generalize":[365,423],"Benders":[366,379],"decomposition":[367],"so":[368,462],"subproblem":[371],"problem":[376,389],"cuts":[380],"obtained":[382],"logical":[384],"inference,":[385],"master":[388],"mixed":[392],"integer":[393],"problem.":[395,418],"report":[397],"results":[398,716,734],"Jain":[400],"Grossmann":[402],"machine":[405],"problem,":[407],"Thorsteinsson":[410],"branch-and-check":[413],"approach":[414,425],"suggest":[420],"how":[421],"using":[426],"continuous":[428],"relaxation":[429],"cumulative":[432],"(joint":[434],"Yan).":[437],"Temporal":[438],"Resource":[440],"Constraints":[441],"Constraint-Based":[443],"Claude":[445],"Le":[446],"Pape":[447],"ILOG":[448],"SA":[449],"Paris,":[450],"France":[451,615],"consists":[453],"assigning":[455],"execution":[456],"times":[457],"satisfy":[465],"variety":[467,573],"(time":[470],"bounds,":[471],"precedence":[472],"relations,":[473],"capacity":[475],"constraints,":[476],"etc.)":[477],"optimize":[479],"one":[480,563],"or":[481,769],"several":[482],"conflicting":[483],"criteria":[485],"(total":[486],"schedule":[487,490],"duration,":[488],"cost,":[489],"robustness,":[491],"etc.).":[492],"Two":[493],"main":[494],"issues":[495],"considered":[499],"evaluate":[501],"applicability":[503],"model":[506,547],"industrial":[512],"applications:":[514],"\"flexibility\"":[515],"\"efficiency\".":[517],"Flexibility":[518],"means":[519,538],"specific":[522],"given":[526,535],"application":[527],"shall":[528],"easy":[530],"represent":[532],"model.":[536],"Efficiency":[537],"algorithms":[541],"applicable":[544],"must":[548],"provide":[549],"good":[550],"solutions":[551],"limited":[553],"CPU":[554],"time.":[555],"As":[556],"applications":[558,731],"tend":[559],"different":[562,581,679,702],"from":[564],"another,":[565],"led":[567],"development":[570],"resources,":[579],"characteristics":[582],"terms":[584],"efficiency.":[588],"presentation":[590],"emphasize":[592],"most":[594],"widely":[595],"used":[596],"compare":[599],"them":[600],"along":[601],"these":[602,733],"two":[603],"dimensions.":[604],"Restricting":[605],"Behavior":[607],"Timed":[609],"Joseph":[611],"Sifakis":[612],"VERIMAG":[613],"Grenoble,":[614],"Restriction":[616],"central":[619],"system":[622,667],"development.":[623],"It":[624,639],"appears":[625],"key":[629],"definition":[632,708,737,753],"parallel":[634,745],"composition":[635],"refinement":[637],"relations.":[638],"defined":[642,685],"unary":[645],"operation":[646],"whose":[649],"effect":[650,689],"restriction":[653,682,691,710,721],"enabling":[656],"actions.":[659,778],"For":[660,676],"untimed":[661],"restrictions":[663],"S'":[664],"S":[668,671],"both":[669,724],"simulate":[670],"preserve":[673],"its":[674],"invariants.":[675],"timed":[677,712],"notions":[680],"depending":[686],"operations":[692,741],"progress.":[695,728],"we,":[699],"\u2022":[700,714,729,747],"Discuss":[701,748],"technical":[703,749],"choices":[704,750],"involved":[705],"systems.":[713],"Give":[715],"about":[717],"preserves":[723],"invariants":[725],"Illustrate":[730],"property":[739],"composition.":[746],"concerning":[751],"advocate":[759],"waiting":[764],"not":[767],"modified":[770],"independently":[771],"system's":[774],"ability":[775],"perform":[777]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}