{"id":"https://openalex.org/W2155006989","doi":"https://doi.org/10.1109/tpds.2003.1199067","title":"Information-flow models for shared memory with an application to the powerPC architecture","display_name":"Information-flow models for shared memory with an application to the powerPC architecture","publication_year":2003,"publication_date":"2003-05-01","ids":{"openalex":"https://openalex.org/W2155006989","doi":"https://doi.org/10.1109/tpds.2003.1199067","mag":"2155006989"},"language":"en","primary_location":{"id":"doi:10.1109/tpds.2003.1199067","doi":"https://doi.org/10.1109/tpds.2003.1199067","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tpds.2003.1199067","pdf_url":null,"source":{"id":"https://openalex.org/S97130795","display_name":"IEEE Transactions on Parallel and Distributed Systems","issn_l":"1045-9219","issn":["1045-9219","1558-2183","2161-9883"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-a","cwts-core","dongbi-a","jufo-2","norway-2","poland-140","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Parallel and Distributed Systems","raw_type":"journal-article"},"volume":null,"type":"article","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/A5014058894","display_name":"Allon Adir","orcid":"https://orcid.org/0000-0001-8128-6706","observed_orcids":["https://orcid.org/0000-0001-8128-6706"]},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]},{"id":"https://openalex.org/I91203450","display_name":"University of Haifa","ror":"https://ror.org/02f009v59","country_code":"IL","type":"education","lineage":["https://openalex.org/I91203450"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"A. Adir","raw_affiliation_strings":["IBM Laboratories, Haifa University, Haifa, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Laboratories, Haifa University, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297","https://openalex.org/I91203450"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029333678","display_name":"Hagit Attiya","orcid":"https://orcid.org/0000-0002-8017-6457","observed_orcids":["https://orcid.org/0000-0002-8017-6457"]},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"H. Attiya","raw_affiliation_strings":["Department of Computer Science, Technion-Israel Institute of Technology, Haifa, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Technion-Israel Institute of Technology, Haifa, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020810091","display_name":"Gil Shurek","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]},{"id":"https://openalex.org/I91203450","display_name":"University of Haifa","ror":"https://ror.org/02f009v59","country_code":"IL","type":"education","lineage":["https://openalex.org/I91203450"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"G. Shurek","raw_affiliation_strings":["IBM Laboratories, Haifa University, Haifa, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IBM Laboratories, Haifa University, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297","https://openalex.org/I91203450"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2645,"currency":"USD","value_usd":2645},"apc_paid":null,"fwci":1.6875,"has_fulltext":false,"cited_by_count":48,"citation_normalized_percentile":{"value":0.87335329,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":97},"biblio":{"volume":"14","issue":"5","first_page":"502","last_page":"515"},"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.75,"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.75,"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.20829999446868896,"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.033900000154972076,"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/shared-memory-model","display_name":"shared memory model","score":0.9049999713897705},{"id":"https://openalex.org/keywords/information-flow","display_name":"information flow","score":0.8040000200271606},{"id":"https://openalex.org/keywords/causality","display_name":"causality","score":0.6809999942779541},{"id":"https://openalex.org/keywords/powerpc-architecture","display_name":"PowerPC architecture","score":0.7730000019073486},{"id":"https://openalex.org/keywords/architecture-verification","display_name":"architecture verification","score":0.5789999961853027},{"id":"https://openalex.org/keywords/programming-interface","display_name":"programming interface","score":0.40799999237060547}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8906517028808594},{"id":"https://openalex.org/C56005371","wikidata":"https://www.wikidata.org/wiki/Q209860","display_name":"PowerPC","level":3,"score":0.617583155632019},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.6029564142227173},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.5718889236450195},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.5417526364326477},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.5301483869552612},{"id":"https://openalex.org/C39528615","wikidata":"https://www.wikidata.org/wiki/Q1229610","display_name":"Distributed shared memory","level":5,"score":0.4856516122817993},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48065006732940674},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.469498872756958},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.4620792865753174},{"id":"https://openalex.org/C99613125","wikidata":"https://www.wikidata.org/wiki/Q165194","display_name":"Application programming interface","level":2,"score":0.4335101842880249},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.35510390996932983},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.33778905868530273},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.32242077589035034},{"id":"https://openalex.org/C51290061","wikidata":"https://www.wikidata.org/wiki/Q1936765","display_name":"Uniform memory access","level":4,"score":0.24783453345298767},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C136085584","wikidata":"https://www.wikidata.org/wiki/Q910289","display_name":"Overlay","level":2,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tpds.2003.1199067","doi":"https://doi.org/10.1109/tpds.2003.1199067","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tpds.2003.1199067","pdf_url":null,"source":{"id":"https://openalex.org/S97130795","display_name":"IEEE Transactions on Parallel and Distributed Systems","issn_l":"1045-9219","issn":["1045-9219","1558-2183","2161-9883"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-a","cwts-core","dongbi-a","jufo-2","norway-2","poland-140","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["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 Parallel and Distributed Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321950","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1545792627","https://openalex.org/W1738788207","https://openalex.org/W1857467995","https://openalex.org/W1970414199","https://openalex.org/W1985841559","https://openalex.org/W2054739713","https://openalex.org/W2071457972","https://openalex.org/W2097931542","https://openalex.org/W2106626405","https://openalex.org/W2107642570","https://openalex.org/W2107859560","https://openalex.org/W2123239012","https://openalex.org/W2145655468","https://openalex.org/W2152390090","https://openalex.org/W2165365531","https://openalex.org/W2176864362","https://openalex.org/W3004250778","https://openalex.org/W3091459263","https://openalex.org/W4206635466","https://openalex.org/W4230333905","https://openalex.org/W4238416552"],"related_works":["https://openalex.org/W2107642570","https://openalex.org/W1561501726","https://openalex.org/W2164723594","https://openalex.org/W1738788207","https://openalex.org/W7097384054","https://openalex.org/W1857467995","https://openalex.org/W2107163823","https://openalex.org/W1575308652","https://openalex.org/W2096956970","https://openalex.org/W3206659166"],"abstract_inverted_index":{"This":[0],"paper":[1],"introduces":[2],"a":[3,19,30,36,53,114,174],"generic":[4],"framework":[5,23,163,192],"for":[6,113,195],"defining":[7],"instructions,":[8],"programs,":[9],"and":[10,65,89,187],"the":[11,51,60,81,85,87,90,99,105,117,128,133,137,140,144,152,160,169,181,184,207,217,223],"semantics":[12],"of":[13,35,62,120,136,183],"their":[14],"instantiation":[15],"by":[16,33,131,159,173,222],"operations":[17,28,41,57],"in":[18,29,139],"multiprocessor":[20,31,138],"environment.":[21],"The":[22,123,146,191],"captures":[24],"information":[25],"flow":[26],"between":[27,56],"program":[32,54,61,100],"means":[34],"reads-from":[37],"mapping":[38],"from":[39,80,84,150],"read":[40,79],"to":[42,71,98,104,143,167],"write":[43],"operations.":[44],"Two":[45],"fundamental":[46],"relations":[47],"are":[48,69],"defined":[49],"on":[50],"operations:":[52],"order":[55,101],"which":[58,68],"instantiate":[59],"some":[63],"processor":[64],"view":[66,106,130,171],"orders":[67],"specific":[70],"each":[72],"shared":[73,109,218],"memory":[74,110,124,219],"model.":[75],"An":[76],"operation":[77],"cannot":[78],"\"hidden\"":[82],"pastor":[83],"future;":[86],"future":[88],"past":[91],"causality":[92],"can":[93,201],"be":[94,157],"examined":[95],"either":[96],"relative":[97,103],"or":[102],"orders.":[107],"A":[108],"model":[111,125,147,220],"specifies,":[112],"given":[115],"program,":[116],"permissible":[118],"transformation":[119],"resource":[121],"states.":[122],"should":[126,148,156],"reflect":[127],"programmer's":[129],"citing":[132],"guaranteed":[134],"behavior":[135],"interface":[141,186],"visible":[142],"programmer.":[145],"retrain":[149],"dictating":[151],"design":[153],"practices":[154],"that":[155],"followed":[158],"implementation.":[161],"Our":[162],"allows":[164],"an":[165,213],"architect":[166],"reveal":[168],"programming":[170,185],"induced":[172],"shared-memory":[175],"architecture;":[176],"it":[177,200],"serves":[178],"programmers":[179],"exploring":[180],"limits":[182],"guides":[188],"architecture-level":[189],"verification.":[190],"is":[193],"applicable":[194],"complex,":[196],"commercial":[197],"architectures":[198],"as":[199],"capture":[202],"subtle":[203],"programming-interface":[204],"details,":[205],"exposing":[206],"underlying":[208],"aggressive":[209],"microarchitecture":[210],"mechanisms.":[211],"As":[212],"illustration,":[214],"we":[215],"define":[216],"supported":[221],"PowerPC":[224],"architecture,":[225],"within":[226],"our":[227],"framework.":[228]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":4},{"year":2012,"cited_by_count":4}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}