{"id":"https://openalex.org/W2083737345","doi":"https://doi.org/10.1109/tse.1984.5010310","title":"Selectors: High-Level Resource Schedulers","display_name":"Selectors: High-Level Resource Schedulers","publication_year":1984,"publication_date":"1984-11-01","ids":{"openalex":"https://openalex.org/W2083737345","doi":"https://doi.org/10.1109/tse.1984.5010310","mag":"2083737345"},"language":"en","primary_location":{"id":"doi:10.1109/tse.1984.5010310","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.1984.5010310","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-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/A5083230712","display_name":"Dennis W. Leinbaugh","orcid":null},"institutions":[{"id":"https://openalex.org/I1283103587","display_name":"AT&T (United States)","ror":"https://ror.org/02bbd5539","country_code":"US","type":"company","lineage":["https://openalex.org/I1283103587"]},{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Dennis W. Leinbaugh","raw_affiliation_strings":["AT&T Bell Labaratories, Columbus, OH, USA","Department of Computer and Information Science, Ohio State Uinversity, Columbus, OH, USA"],"affiliations":[{"raw_affiliation_string":"AT&T Bell Labaratories, Columbus, OH, USA","institution_ids":["https://openalex.org/I1283103587"]},{"raw_affiliation_string":"Department of Computer and Information Science, Ohio State Uinversity, Columbus, OH, USA","institution_ids":["https://openalex.org/I52357470"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5083230712"],"corresponding_institution_ids":["https://openalex.org/I1283103587","https://openalex.org/I52357470"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.25806452,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"SE-10","issue":"6","first_page":"810","last_page":"825"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9983999729156494,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9980000257492065,"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/computer-science","display_name":"Computer science","score":0.8493180274963379},{"id":"https://openalex.org/keywords/shared-resource","display_name":"Shared resource","score":0.7036314010620117},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6720820665359497},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.6200265884399414},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6197450160980225},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.6175714135169983},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.46233317255973816},{"id":"https://openalex.org/keywords/resource-allocation","display_name":"Resource allocation","score":0.45826441049575806},{"id":"https://openalex.org/keywords/resource-efficiency","display_name":"Resource efficiency","score":0.42518797516822815},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.4198184609413147},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21332693099975586},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.18904972076416016}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8493180274963379},{"id":"https://openalex.org/C51332947","wikidata":"https://www.wikidata.org/wiki/Q1172305","display_name":"Shared resource","level":2,"score":0.7036314010620117},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6720820665359497},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.6200265884399414},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6197450160980225},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.6175714135169983},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.46233317255973816},{"id":"https://openalex.org/C29202148","wikidata":"https://www.wikidata.org/wiki/Q287260","display_name":"Resource allocation","level":2,"score":0.45826441049575806},{"id":"https://openalex.org/C2777958785","wikidata":"https://www.wikidata.org/wiki/Q17120940","display_name":"Resource efficiency","level":2,"score":0.42518797516822815},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.4198184609413147},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21332693099975586},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.18904972076416016},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.1984.5010310","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.1984.5010310","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4699999988079071,"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1546981056","https://openalex.org/W1885291281","https://openalex.org/W1968083012","https://openalex.org/W2049764332","https://openalex.org/W2106636526","https://openalex.org/W2131791649","https://openalex.org/W2340595401","https://openalex.org/W6639532317"],"related_works":["https://openalex.org/W2050076411","https://openalex.org/W2001478969","https://openalex.org/W1542183432","https://openalex.org/W2360686363","https://openalex.org/W1900787600","https://openalex.org/W2136552483","https://openalex.org/W2166954426","https://openalex.org/W2117224408","https://openalex.org/W3137070212","https://openalex.org/W2379911191"],"abstract_inverted_index":{"Resource":[0],"sharing":[1,19,77,95],"problems":[2,78,96],"can":[3],"be":[4],"described":[5],"in":[6],"three":[7],"basically":[8],"independent":[9],"modular":[10],"components.":[11],"\u2022":[12,27,48],"The":[13,28],"constraints":[14],"the":[15,46,51,101],"resource":[16,32,39,76,94],"places":[17],"upon":[18],"because":[20],"of":[21,31,38,43,56,75,86,103],"physcal":[22],"limitations":[23],"and":[24,83,126],"consistency":[25],"requirements.":[26],"desired":[29],"ordering":[30,52],"requests":[33,60],"to":[34,50,53,71,91,99,114,117],"achieve":[35],"efficiency-either":[36],"efficiency":[37,42],"utilization":[40],"or":[41,122],"processes":[44,57],"making":[45],"requests.":[47],"Modifications":[49],"prevent":[54],"starvation":[55,84,127],"waiting":[58],"for":[59,108],"which":[61],"might":[62],"otherwise":[63],"never":[64],"receive":[65],"service.":[66],"A":[67],"high-level":[68,110],"nonprocedural":[69],"language":[70,111],"specify":[72],"these":[73],"components":[74],"is":[79],"described.":[80],"General":[81],"deadlock":[82,125],"properties":[85],"selectors":[87,120],"are":[88,97,112,121,123],"proven.":[89],"Solutions":[90],"several":[92],"classic":[93],"shown":[98],"illustrate":[100],"expressiveness":[102],"this":[104,109],"language.":[105],"Proof":[106],"techniques":[107],"introduced":[113],"show":[115],"how":[116],"prove":[118],"particular":[119],"not":[124],"free.":[128]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}