{"id":"https://openalex.org/W2062682489","doi":"https://doi.org/10.1145/2513228.2513263","title":"Towards optimal priority assignments for the transactional event handlers of P-FRP","display_name":"Towards optimal priority assignments for the transactional event handlers of P-FRP","publication_year":2013,"publication_date":"2013-10-01","ids":{"openalex":"https://openalex.org/W2062682489","doi":"https://doi.org/10.1145/2513228.2513263","mag":"2062682489"},"language":"en","primary_location":{"id":"doi:10.1145/2513228.2513263","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2513228.2513263","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2013 Research in Adaptive and Convergent Systems","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/A5112510745","display_name":"Yuanfeng Wen","orcid":null},"institutions":[{"id":"https://openalex.org/I44461941","display_name":"University of Houston","ror":"https://ror.org/048sx0r50","country_code":"US","type":"education","lineage":["https://openalex.org/I44461941"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Yuanfeng Wen","raw_affiliation_strings":["University of Houston, TX"],"affiliations":[{"raw_affiliation_string":"University of Houston, TX","institution_ids":["https://openalex.org/I44461941"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076261451","display_name":"Chaitanya Belwal","orcid":null},"institutions":[{"id":"https://openalex.org/I44461941","display_name":"University of Houston","ror":"https://ror.org/048sx0r50","country_code":"US","type":"education","lineage":["https://openalex.org/I44461941"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chaitanya Belwal","raw_affiliation_strings":["University of Houston, TX"],"affiliations":[{"raw_affiliation_string":"University of Houston, TX","institution_ids":["https://openalex.org/I44461941"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001205166","display_name":"Albert M. K. Cheng","orcid":"https://orcid.org/0000-0003-2134-3056"},"institutions":[{"id":"https://openalex.org/I44461941","display_name":"University of Houston","ror":"https://ror.org/048sx0r50","country_code":"US","type":"education","lineage":["https://openalex.org/I44461941"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Albert M. K. Cheng","raw_affiliation_strings":["University of Houston, TX"],"affiliations":[{"raw_affiliation_string":"University of Houston, TX","institution_ids":["https://openalex.org/I44461941"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5112510745"],"corresponding_institution_ids":["https://openalex.org/I44461941"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.12391751,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"428","last_page":"433"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"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.9997000098228455,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9993000030517578,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9947999715805054,"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/monotonic-function","display_name":"Monotonic function","score":0.7350120544433594},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7157405614852905},{"id":"https://openalex.org/keywords/priority-ceiling-protocol","display_name":"Priority ceiling protocol","score":0.6927280426025391},{"id":"https://openalex.org/keywords/deadline-monotonic-scheduling","display_name":"Deadline-monotonic scheduling","score":0.6803744435310364},{"id":"https://openalex.org/keywords/assignment-problem","display_name":"Assignment problem","score":0.5788148641586304},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5736940503120422},{"id":"https://openalex.org/keywords/priority-inversion","display_name":"Priority inversion","score":0.5587819814682007},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4860694706439972},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.4638286828994751},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4059258699417114},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3416382670402527},{"id":"https://openalex.org/keywords/dynamic-priority-scheduling","display_name":"Dynamic priority scheduling","score":0.19266289472579956},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16461822390556335},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1591987907886505},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.09945523738861084},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08321136236190796}],"concepts":[{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.7350120544433594},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7157405614852905},{"id":"https://openalex.org/C117420606","wikidata":"https://www.wikidata.org/wiki/Q386027","display_name":"Priority ceiling protocol","level":5,"score":0.6927280426025391},{"id":"https://openalex.org/C76774629","wikidata":"https://www.wikidata.org/wiki/Q1146103","display_name":"Deadline-monotonic scheduling","level":5,"score":0.6803744435310364},{"id":"https://openalex.org/C85044808","wikidata":"https://www.wikidata.org/wiki/Q620614","display_name":"Assignment problem","level":2,"score":0.5788148641586304},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5736940503120422},{"id":"https://openalex.org/C172828308","wikidata":"https://www.wikidata.org/wiki/Q520734","display_name":"Priority inversion","level":5,"score":0.5587819814682007},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4860694706439972},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.4638286828994751},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4059258699417114},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3416382670402527},{"id":"https://openalex.org/C107568181","wikidata":"https://www.wikidata.org/wiki/Q5319000","display_name":"Dynamic priority scheduling","level":3,"score":0.19266289472579956},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16461822390556335},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1591987907886505},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.09945523738861084},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08321136236190796},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"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/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C175893541","wikidata":"https://www.wikidata.org/wiki/Q1196582","display_name":"Round-robin scheduling","level":4,"score":0.0},{"id":"https://openalex.org/C5119721","wikidata":"https://www.wikidata.org/wiki/Q220501","display_name":"Quality of service","level":2,"score":0.0},{"id":"https://openalex.org/C127456818","wikidata":"https://www.wikidata.org/wiki/Q238879","display_name":"Rate-monotonic scheduling","level":4,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2513228.2513263","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2513228.2513263","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2013 Research in Adaptive and Convergent Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6206019869","display_name":null,"funder_award_id":"0720856, 1219082","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1501729914","https://openalex.org/W1509606339","https://openalex.org/W2000962036","https://openalex.org/W2079512738","https://openalex.org/W2089589666","https://openalex.org/W2095343326","https://openalex.org/W2095905203","https://openalex.org/W2099175195","https://openalex.org/W2109488193","https://openalex.org/W2113751407","https://openalex.org/W2122852486","https://openalex.org/W2134997781","https://openalex.org/W2135985806","https://openalex.org/W2147417170","https://openalex.org/W2147906818","https://openalex.org/W2166878556","https://openalex.org/W2168517648","https://openalex.org/W3014961667"],"related_works":["https://openalex.org/W2364408853","https://openalex.org/W2372058405","https://openalex.org/W1591583623","https://openalex.org/W2186454171","https://openalex.org/W2385139534","https://openalex.org/W1496705289","https://openalex.org/W2001673593","https://openalex.org/W2153203280","https://openalex.org/W53305329","https://openalex.org/W2062682489"],"abstract_inverted_index":{"Priority-based":[0],"Functional":[1],"Reactive":[2],"Programming":[3],"(P-FRP)":[4],"is":[5,52,110,123,156],"a":[6,95,140,157],"new":[7],"functional":[8],"programming":[9],"formalism":[10],"for":[11,71,126,139],"real-time":[12,21],"systems.":[13],"P-FRP":[14,142],"allows":[15],"static":[16],"priority":[17,26,41,50,66,83,92,108,137],"assignment":[18,51,67,84,93,109,138],"and":[19,37,57,112],"guarantees":[20],"response":[22],"by":[23],"preempting":[24],"lower":[25],"tasks.":[27,100,132],"Due":[28],"to":[29],"the":[30,47,82,91,103,106,124,127,135,151,154],"state-less":[31],"nature,":[32],"preempted":[33],"tasks":[34,42,148],"are":[35,169],"aborted":[36],"restarted":[38],"after":[39],"higher":[40],"have":[43],"completed":[44],"execution.":[45],"Therefore,":[46],"rate-monotonic":[48],"(RM)":[49],"not":[53],"optimal":[54,64,111,125,136],"in":[55,94],"P-FRP,":[56],"it":[58],"has":[59],"been":[60],"unknown":[61],"whether":[62],"an":[63,73],"fixed":[65],"can":[68],"even":[69],"exist":[70],"such":[72],"execution":[74],"model.":[75],"In":[76],"this":[77],"paper,":[78],"we":[79],"first":[80],"present":[81],"characteristics":[85],"of":[86,118,153,159,166],"P-FRP.":[87],"We":[88,101,133],"then":[89],"discuss":[90],"task":[96,128,155,164],"set":[97,129],"with":[98,130],"two":[99,131,147],"derive":[102],"conditions":[104],"when":[105,150],"RM":[107,119],"show":[113],"that":[114],"at":[115],"least":[116],"one":[117],"or":[120],"utilization-monotonic":[121],"(UM)":[122],"prove":[134],"general":[141],"system":[143],"having":[144],"more":[145],"than":[146],"exists":[149],"period":[152],"multiple":[158],"others.":[160],"Experimental":[161],"results":[162],"using":[163],"sets":[165],"different":[167],"sizes":[168],"also":[170],"presented.":[171]},"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}