{"id":"https://openalex.org/W2158935948","doi":"https://doi.org/10.1109/hpdc.1993.263837","title":"Formal method for scheduling, routing and communication protocol","display_name":"Formal method for scheduling, routing and communication protocol","publication_year":2002,"publication_date":"2002-12-31","ids":{"openalex":"https://openalex.org/W2158935948","doi":"https://doi.org/10.1109/hpdc.1993.263837","mag":"2158935948"},"language":"en","primary_location":{"id":"doi:10.1109/hpdc.1993.263837","doi":"https://doi.org/10.1109/hpdc.1993.263837","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpdc.1993.263837","pdf_url":null,"source":{"id":"https://openalex.org/S7407087987","display_name":"ACM International Symposium on High-Performance Parallel and Distributed Computing (HPDC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"[1993] Proceedings The 2nd International Symposium on High Performance Distributed Computing","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5108665213","display_name":"Lenore M. R. Mullin","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I20382870","display_name":"Missouri University of Science and Technology","ror":"https://ror.org/00scwqd12","country_code":"US","type":"education","lineage":["https://openalex.org/I20382870"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"L.M.R. Mullin","raw_affiliation_strings":["Computer Science, University of Missouri, Rolla, MO, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science, University of Missouri, Rolla, MO, USA","institution_ids":["https://openalex.org/I20382870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111436024","display_name":"Scott Thibault","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I20382870","display_name":"Missouri University of Science and Technology","ror":"https://ror.org/00scwqd12","country_code":"US","type":"education","lineage":["https://openalex.org/I20382870"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S.A. Thibault","raw_affiliation_strings":["Computer Science, University of Missouri, Rolla, MO, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science, University of Missouri, Rolla, MO, USA","institution_ids":["https://openalex.org/I20382870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023519323","display_name":"D.R. Dooling","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I111236770","display_name":"University of Vermont","ror":"https://ror.org/0155zta11","country_code":"US","type":"education","lineage":["https://openalex.org/I111236770"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"D.R. Dooling","raw_affiliation_strings":["Computer Science, University of Vermont, Burlington, VT, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science, University of Vermont, Burlington, VT, USA","institution_ids":["https://openalex.org/I111236770"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001889031","display_name":"E.A. Sandberg","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I111236770","display_name":"University of Vermont","ror":"https://ror.org/0155zta11","country_code":"US","type":"education","lineage":["https://openalex.org/I111236770"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"E.A. Sandberg","raw_affiliation_strings":["Computer Science, University of Vermont, Burlington, VT, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science, University of Vermont, Burlington, VT, USA","institution_ids":["https://openalex.org/I111236770"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4025,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.50929253,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"234","last_page":"242"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9843999743461609,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9843999743461609,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.004699999932199717,"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/T10126","display_name":"Logic, programming, and type systems","score":0.003599999938160181,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/pram-model","display_name":"PRAM model","score":0.8880000114440918},{"id":"https://openalex.org/keywords/virtual-processors","display_name":"virtual processors","score":0.6259999871253967},{"id":"https://openalex.org/keywords/multiprocessor-scheduling","display_name":"multiprocessor scheduling","score":0.7239999771118164},{"id":"https://openalex.org/keywords/routing","display_name":"routing","score":0.453000009059906},{"id":"https://openalex.org/keywords/communication-protocols","display_name":"communication protocols","score":0.7950000166893005},{"id":"https://openalex.org/keywords/latency-reduction","display_name":"latency reduction","score":0.5929999947547913},{"id":"https://openalex.org/keywords/distributed-message-passing","display_name":"distributed message passing","score":0.7070000171661377}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8482201099395752},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6652994751930237},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.6439019441604614},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.619560718536377},{"id":"https://openalex.org/C19275194","wikidata":"https://www.wikidata.org/wiki/Q222903","display_name":"Multiplexing","level":2,"score":0.6190778017044067},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.611679196357727},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.44678768515586853},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.42793571949005127},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.19071519374847412},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","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/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hpdc.1993.263837","doi":"https://doi.org/10.1109/hpdc.1993.263837","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpdc.1993.263837","pdf_url":null,"source":{"id":"https://openalex.org/S7407087987","display_name":"ACM International Symposium on High-Performance Parallel and Distributed Computing (HPDC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"[1993] Proceedings The 2nd International Symposium on High Performance Distributed Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W634764858","https://openalex.org/W1544480906","https://openalex.org/W1605715232","https://openalex.org/W2045271686","https://openalex.org/W2051975225","https://openalex.org/W2108167744","https://openalex.org/W2139442605"],"related_works":["https://openalex.org/W2027284877","https://openalex.org/W1981952277","https://openalex.org/W1982855589","https://openalex.org/W2029991649","https://openalex.org/W2028960065","https://openalex.org/W7095841957","https://openalex.org/W2146697306","https://openalex.org/W1484125004","https://openalex.org/W17014035","https://openalex.org/W1967960741"],"abstract_inverted_index":{"The":[0,106],"PRAM":[1,70],"model":[2,71],"has":[3],"been":[4],"shown":[5],"to":[6,30,61,67,91,112,125,140],"be":[7,89,123],"an":[8,68],"optimal":[9],"design":[10],"for":[11,19],"emulating":[12],"both":[13],"loose":[14],"and":[15,114,135,145],"tightly":[16],"coupled":[17],"multiprocessors":[18],"unit":[20,74],"time":[21,77],"operations.":[22,78],"When":[23],"virtual":[24],"processors":[25,32,113,120,141],"are":[26],"required,":[27],"multiplexing":[28,102],"work":[29,54,93,98,110],"available":[31],"is":[33,103],"employed.":[34],"This":[35,79],"introduces":[36],"a":[37],"form":[38],"of":[39,53,119,128,138],"latency":[40,144],"incurred":[41],"by":[42],"operating":[43],"system":[44],"overhead.":[45],"Further":[46],"complications":[47],"arise":[48],"when":[49],"bandwidth":[50],"creates":[51],"bottlenecking":[52,146],"units.":[55],"G.E.":[56],"Blelloch":[57],"(1989)":[58],"showed":[59],"how":[60,82,116],"add":[62],"parallel":[63],"prefix":[64],"operations":[65],"(scans)":[66],"extended":[69],"which":[72],"uses":[73],"step,":[75],"not":[76,104,122],"paper":[80],"shows":[81],"the":[83,97,117,126],"Psi(":[84],"psi":[85],")":[86],"calculus":[87],"can":[88,142],"used":[90],"group":[92],"units,":[94,99],"i.e.":[95],"pipelining":[96,136],"so":[100],"that":[101],"required.":[105],"authors":[107],"instead":[108],"pipeline":[109],"units":[111],"show":[115],"number":[118,127],"need":[121],"equivalent":[124],"data":[129,133],"components.":[130],"Partitioning":[131],"array":[132],"structures":[134],"groups":[137],"partitions":[139],"minimize":[143],"on":[147],"distributed":[148],"message":[149],"passing":[150],"multiprocessing":[151],"architectures.>":[152]},"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2026-10-14T16:39:01.820549","created_date":"2016-06-24T00:00:00"}