{"id":"https://openalex.org/W2198721857","doi":"https://doi.org/10.1007/978-3-319-24644-4_17","title":"Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?","display_name":"Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2198721857","doi":"https://doi.org/10.1007/978-3-319-24644-4_17","mag":"2198721857"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-24644-4_17","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-24644-4_17","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ir.cwi.nl/pub/23984/23984D.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109046641","display_name":"Sung-Shik T. Q. Jongmans","orcid":null},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Sung-Shik T. Q. Jongmans","raw_affiliation_strings":["Centrum Wiskunde & Informatica, Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Centrum Wiskunde & Informatica, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082262382","display_name":"Farhad Arbab","orcid":"https://orcid.org/0000-0003-2853-3987"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Farhad Arbab","raw_affiliation_strings":["Centrum Wiskunde & Informatica, Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Centrum Wiskunde & Informatica, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5109046641"],"corresponding_institution_ids":["https://openalex.org/I1341640284"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.0731,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.91861251,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"238","last_page":"258"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9998000264167786,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994000196456909,"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.8786856532096863},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.7169489860534668},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7140934467315674},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5911206007003784},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.52198326587677},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4997217655181885},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.4417268633842468},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.42595380544662476},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.41388195753097534},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.37179550528526306},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.31747421622276306}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8786856532096863},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7169489860534668},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7140934467315674},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5911206007003784},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.52198326587677},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4997217655181885},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.4417268633842468},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.42595380544662476},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.41388195753097534},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.37179550528526306},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.31747421622276306},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-319-24644-4_17","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-24644-4_17","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:cwi.nl:23984","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/23984","pdf_url":"https://ir.cwi.nl/pub/23984/23984D.pdf","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:HAL:hal-01446603v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01446603","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.238-258, ⟨10.1007/978-3-319-24644-4_17⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:cwi.nl:23984","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/23984","pdf_url":"https://ir.cwi.nl/pub/23984/23984D.pdf","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4099999964237213,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2198721857.pdf","grobid_xml":"https://content.openalex.org/works/W2198721857.grobid-xml"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W1544921803","https://openalex.org/W1551537871","https://openalex.org/W1569115119","https://openalex.org/W1987288119","https://openalex.org/W1988680012","https://openalex.org/W2038895896","https://openalex.org/W2048277227","https://openalex.org/W2069718203","https://openalex.org/W2092933298","https://openalex.org/W2111531668","https://openalex.org/W2114816931","https://openalex.org/W2121514867","https://openalex.org/W2130200203","https://openalex.org/W2133038101","https://openalex.org/W2138696525","https://openalex.org/W2139842876","https://openalex.org/W2156170373","https://openalex.org/W2198721857","https://openalex.org/W2578125337","https://openalex.org/W3100363387","https://openalex.org/W3141396042","https://openalex.org/W4230290951","https://openalex.org/W4251540819","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2371266106","https://openalex.org/W2117382851","https://openalex.org/W3006505070","https://openalex.org/W2382449560","https://openalex.org/W2767298477","https://openalex.org/W2110432562","https://openalex.org/W2025344","https://openalex.org/W2117864619","https://openalex.org/W2090337950","https://openalex.org/W2104121286"],"abstract_inverted_index":{"High-level":[0],"concurrency":[1,16],"constructs":[2],"and":[3,125],"abstractions":[4],"have":[5,182],"several":[6],"well-known":[7],"software":[8],"engineering":[9],"advantages":[10],"when":[11],"it":[12],"comes":[13],"to":[14,81,89,123,205,210],"programming":[15],"protocols":[17],"among":[18],"threads":[19],"in":[20,30,55,108,113,178,188,208,218],"multicore":[21],"applications.":[22],"To":[23],"also":[24,144,155],"explore":[25],"their":[26,114],"complementary":[27],"performance":[28,166],"advantages,":[29],"ongoing":[31],"work,":[32,58],"we":[33,102,131,161,181],"are":[34,61],"developing":[35],"compilation":[36,99,186],"technology":[37,187],"for":[38,75,171],"a":[39,91,172,191],"high-level":[40],"coordination":[41],"language,":[42],"Reo,":[43],"based":[44],"on":[45,163],"this":[46,84,159],"language\u2019s":[47],"formal":[48],"automaton":[49,196],"semantics.":[50],"By":[51],"now,":[52,87],"as":[53],"shown":[54],"our":[56,59,129,185,200],"previous":[57],"tools":[60],"capable":[62],"of":[63,94,111,175,190,194,220],"generating":[64],"code":[65],"that":[66,101],"can":[67,215],"compete":[68],"with":[69,140,151],"carefully":[70],"hand-crafted":[71],"code,":[72,116,139,150],"at":[73],"least":[74],"some":[76],"protocols.":[77],"An":[78],"important":[79],"prerequisite":[80],"further":[82],"advance":[83],"promising":[85],"technology,":[86],"is":[88],"gain":[90],"better":[92,124],"understanding":[93],"how":[95],"the":[96,109],"significantly":[97],"different":[98],"approaches":[100,170],"developed":[103],"so":[104],"far,":[105],"which":[106,135],"vary":[107],"amount":[110],"parallelism":[112],"generated":[115],"compare":[117],"against":[118],"each":[119],"other.":[120],"For":[121],"instance,":[122],"more":[126],"reliably":[127],"tune":[128],"compilers,":[130],"must":[132],"learn":[133],"under":[134],"circumstances":[136],"parallel":[137],"protocol":[138,149],"high":[141,145],"throughput":[142],"but":[143,154],"latency,":[146],"outperforms":[147],"sequential":[148],"low":[152,156],"latency":[153],"throughput.":[157],"In":[158],"paper,":[160],"report":[162],"an":[164],"extensive":[165],"comparison":[167],"between":[168],"these":[169],"substantial":[173],"number":[174],"protocols,":[176],"expressed":[177],"Reo.":[179],"Because":[180],"always":[183],"formulated":[184],"terms":[189,219],"general":[192],"kind":[193],"communicating":[195],"(i.e.,":[197],"constraint":[198],"automata),":[199],"findings":[201],"apply":[202],"not":[203],"only":[204],"Reo":[206],"but,":[207],"principle,":[209],"any":[211],"language":[212],"whose":[213],"semantics":[214],"be":[216],"defined":[217],"such":[221],"automata.":[222]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}