{"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","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,"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"},"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/A5014058894","display_name":"Allon Adir","orcid":"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"]}],"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"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029333678","display_name":"Hagit Attiya","orcid":"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},"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"]}],"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"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.991,"has_fulltext":false,"cited_by_count":42,"citation_normalized_percentile":{"value":0.7787238,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"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":1.0,"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":1.0,"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.9994000196456909,"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.9988999962806702,"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.8906517028808594},{"id":"https://openalex.org/keywords/powerpc","display_name":"PowerPC","score":0.617583155632019},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.6029564142227173},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.5718889236450195},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.5417526364326477},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.5301483869552612},{"id":"https://openalex.org/keywords/distributed-shared-memory","display_name":"Distributed shared memory","score":0.4856516122817993},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.48065006732940674},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.469498872756958},{"id":"https://openalex.org/keywords/multiprocessing","display_name":"Multiprocessing","score":0.4620792865753174},{"id":"https://openalex.org/keywords/application-programming-interface","display_name":"Application programming interface","score":0.4335101842880249},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.35510390996932983},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.33778905868530273},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.32242077589035034},{"id":"https://openalex.org/keywords/uniform-memory-access","display_name":"Uniform memory access","score":0.24783453345298767}],"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","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,"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":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321950","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"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/W4238416552","https://openalex.org/W4250753400","https://openalex.org/W6637679442"],"related_works":["https://openalex.org/W40577698","https://openalex.org/W4317827391","https://openalex.org/W4233212676","https://openalex.org/W2182797201","https://openalex.org/W2078898826","https://openalex.org/W184932080","https://openalex.org/W2398725611","https://openalex.org/W1496676675","https://openalex.org/W2110339542","https://openalex.org/W1530780171"],"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":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":5},{"year":2012,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}