{"id":"https://openalex.org/W2106461458","doi":"https://doi.org/10.1109/icassp.2005.1416243","title":"Deadlock Detection For Distributed Process Networks","display_name":"Deadlock Detection For Distributed Process Networks","publication_year":2006,"publication_date":"2006-10-04","ids":{"openalex":"https://openalex.org/W2106461458","doi":"https://doi.org/10.1109/icassp.2005.1416243","mag":"2106461458"},"language":"en","primary_location":{"id":"doi:10.1109/icassp.2005.1416243","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icassp.2005.1416243","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. (ICASSP '05). IEEE International Conference on Acoustics, Speech, and Signal Processing, 2005.","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/A5041117655","display_name":"Alex Olson","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]},{"id":"https://openalex.org/I4210121626","display_name":"Signal Processing (United States)","ror":"https://ror.org/021gzyw51","country_code":"US","type":"company","lineage":["https://openalex.org/I4210121626"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"A.G. Olson","raw_affiliation_strings":["Embedded Signal Processing Laboratory, University of Texas, Austin, Austin, TX, USA","Embedded Signal Process. Lab., Texas Univ., Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"Embedded Signal Processing Laboratory, University of Texas, Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309","https://openalex.org/I4210121626"]},{"raw_affiliation_string":"Embedded Signal Process. Lab., Texas Univ., Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103517781","display_name":"Brian L. Evans","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]},{"id":"https://openalex.org/I4210121626","display_name":"Signal Processing (United States)","ror":"https://ror.org/021gzyw51","country_code":"US","type":"company","lineage":["https://openalex.org/I4210121626"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"B.L. Evans","raw_affiliation_strings":["Embedded Signal Processing Laboratory, University of Texas, Austin, Austin, TX, USA","Embedded Signal Process. Lab., Texas Univ., Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"Embedded Signal Processing Laboratory, University of Texas, Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309","https://openalex.org/I4210121626"]},{"raw_affiliation_string":"Embedded Signal Process. Lab., Texas Univ., Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5041117655"],"corresponding_institution_ids":["https://openalex.org/I4210121626","https://openalex.org/I86519309"],"apc_list":null,"apc_paid":null,"fwci":2.8351,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.91488527,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"5","issue":null,"first_page":"73","last_page":"76"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10829","display_name":"Interconnection Networks and Systems","score":0.9997000098228455,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9997000098228455,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9993000030517578,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9987000226974487,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8425716161727905},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.786526083946228},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.78349769115448},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.7065010070800781},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5960832834243774},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5852682590484619},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.49401551485061646},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.47943300008773804},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.4321005940437317},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.42218542098999023},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.41366705298423767},{"id":"https://openalex.org/keywords/queue","display_name":"Queue","score":0.41120022535324097},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.16129904985427856},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09983494877815247},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08660918474197388},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07678207755088806},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.07132506370544434}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8425716161727905},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.786526083946228},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.78349769115448},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.7065010070800781},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5960832834243774},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5852682590484619},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.49401551485061646},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.47943300008773804},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.4321005940437317},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.42218542098999023},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.41366705298423767},{"id":"https://openalex.org/C160403385","wikidata":"https://www.wikidata.org/wiki/Q220543","display_name":"Queue","level":2,"score":0.41120022535324097},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.16129904985427856},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09983494877815247},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08660918474197388},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07678207755088806},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.07132506370544434},{"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/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/icassp.2005.1416243","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icassp.2005.1416243","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. (ICASSP '05). IEEE International Conference on Acoustics, Speech, and Signal Processing, 2005.","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.122.5340","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.5340","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ece.utexas.edu/~bevans/papers/2005/distributedPN/distProcNetworksICASSP2005Paper.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W120742237","https://openalex.org/W164184604","https://openalex.org/W1597755753","https://openalex.org/W1774138017","https://openalex.org/W1921281495","https://openalex.org/W2001478969","https://openalex.org/W2023408771","https://openalex.org/W2031144446","https://openalex.org/W2104922219","https://openalex.org/W2117433739","https://openalex.org/W2121817468","https://openalex.org/W2130484824","https://openalex.org/W2141596547","https://openalex.org/W2146928461","https://openalex.org/W4285719527","https://openalex.org/W6635964534","https://openalex.org/W6637863704"],"related_works":["https://openalex.org/W2050076411","https://openalex.org/W4226119751","https://openalex.org/W1542183432","https://openalex.org/W2360686363","https://openalex.org/W2001478969","https://openalex.org/W2340131066","https://openalex.org/W2358822739","https://openalex.org/W2098144473","https://openalex.org/W4231261802","https://openalex.org/W2361416822"],"abstract_inverted_index":{"The":[0,29,65,105],"process":[1],"network":[2],"(PN)":[3],"model,":[4],"which":[5],"consists":[6],"of":[7],"concurrent":[8],"processes":[9],"communicating":[10],"over":[11],"first-in":[12],"first":[13,97],"out":[14],"unidirectional":[15],"queues,":[16],"is":[17,43,108,117],"useful":[18],"for":[19,58,102,119],"modeling":[20],"and":[21,113,116,122],"exploiting":[22],"functional":[23],"parallelism":[24],"in":[25],"streaming":[26],"data":[27],"applications.":[28],"PN":[30,41,67,85,103,124],"model":[31,42,60],"maps":[32],"easily":[33],"onto":[34],"multi-processor":[35],"and/or":[36],"multi-threaded":[37],"targets.":[38],"Since":[39],"the":[40,96,111],"Turing":[44],"complete,":[45],"memory":[46],"requirements":[47],"cannot":[48],"be":[49],"predicted":[50],"statically.":[51],"In":[52,91],"general,":[53],"any":[54],"bounded-memory":[55],"scheduling":[56],"algorithm":[57,101,107,115],"this":[59,92],"requires":[61],"run-time":[62],"deadlock":[63,71,99],"detection.":[64],"few":[66],"implementations":[68],"that":[69],"perform":[70],"detection":[72,100],"detect":[73],"only":[74],"global":[75,89],"deadlocks.":[76],"Not":[77],"all":[78],"local":[79,98],"deadlocks,":[80],"however,":[81],"will":[82],"cause":[83],"a":[84],"system":[86],"to":[87],"reach":[88],"deadlock.":[90],"paper,":[93],"we":[94],"present":[95],"models.":[104],"proposed":[106],"based":[109],"on":[110],"Mitchell":[112],"Merritt":[114],"suitable":[118],"both":[120],"parallel":[121],"distributed":[123],"implementations.":[125]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}