卢多维奇·亨利奥;克里斯托夫·凯斯勒;李璐 利用模型中的访问模式声明实现异构系统中的内存一致性。 (英语) Zbl 1494.68043号 J.日志。代数。方法计划。 110,文章ID 100498,17 p.(2020).MSC公司:68甲19 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{L.Henrio}等人,J.Log。代数。方法计划。110,文章ID 100498,第17页(2020;Zbl 1494.68043) 全文: 内政部 arXiv公司
内萨娜·森费尔德;朱利安·布鲁内尔;克莱尔·佩吉蒂 对缓存一致性建模以暴露干扰。 (英语) Zbl 07559352号 Sophie Quinton(编辑),第31届欧洲微型实时系统会议,ECRTS 2019,德国斯图加特,2019年7月9日至12日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。133,第18条,第22页(2019年)。MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{N.Sensfelder}等人,LIPIcs——莱布尼茨国际程序。通知。133,第18条,第22页(2019年;Zbl 07559352) 全文: 内政部
肯尼思·麦克米兰。;奥德·帕顿 用常春藤对可判定片段进行演绎验证。 (英语) Zbl 1511.68165号 安德烈亚斯·波德尔斯基(编辑),《静态分析》。2018年8月29日至31日在德国弗莱堡举行的2018年SAS第25届国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11002, 43-55 (2018).MSC公司:第68季度第60季度 03B70号 64岁以下 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{K.L.McMillan}和\textit{O.Padon},莱克特。注释计算。科学。11002,43-55(2018;Zbl 1511.68165) 全文: 内政部
哈吉特·阿提亚;吉利·雅夫内 块粒度的远程内存引用。 (英语) Zbl 1487.68029号 Aspnes,James(编辑)等人,第21届分布式系统原理国际会议,OPODIS 2017,葡萄牙里斯本,2017年12月18-20日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。95,第18条,第17页(2018年)。MSC公司:64岁以下 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Attiya}和\textit{G.Yavneh},LIPIcs——莱布尼茨国际程序。通知。95,第18条,第17页(2018;Zbl 1487.68029) 全文: 内政部
李永健;段凯强;大卫·詹森(David N.Jansen)。;庞、军;张丽君;吕毅;蔡少伟 参数化验证的自动证明方法。 (英语) Zbl 1407.68295号 ACM事务处理。计算。日志。 第19条第4款第27条第25页(2018年).MSC公司:第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,ACM Trans。计算。日志。19,第4号,第27条,第25页(2018;Zbl 1407.68295) 全文: 内政部 链接
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);卡西拉斯、斯特凡诺斯;卡尔·莱昂纳多森;阿尔贝托·罗斯;朱云云 用自我失效和自我降级来修补篱笆。 (英语) Zbl 1459.68039号 日志。计算方法。科学。 14,第1号,第6号论文,33页(2018年).MSC公司:68号30 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,日志。计算方法。科学。14,第1号,第6号论文,33页(2018;Zbl 1459.68039) 全文: 内政部 arXiv公司
戈卡纳·沙尔马;布希,科斯塔斯 通用网络的分布式事务内存。 (英语) Zbl 1320.68050号 分布计算。 27,第5号,329-362(2014).MSC公司:64岁以下 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{G.Sharma}和\textit{C.Busch},分布式计算。27,第5号,329--362(2014;Zbl 1320.68050) 全文: 内政部
奥斯卡·马汀;阿尔贝托·维尔德霍;马丁·奥列特,纳西索 无限系统上的模型检查TLR*保证公式。 (英语) Zbl 1407.68296号 Iida,Shusaku(编辑)等人,《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林:斯普林格。莱克特。注释计算。科学。8373, 129-150 (2014).MSC公司:第68季度第60季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{奥斯·马丁}等人,Lect。注释计算。科学。8373129-150(2014年;Zbl 1407.68296) 全文: 内政部 链接
尼基尔·班萨尔;巴特,维博尔;贾扬蒂,普拉萨德;Ranganath Kondapally公司 严格的时空互斥权衡。 (英语) Zbl 1286.68021号 Karloff,Howard J.(编辑)等人,第44届ACM计算理论研讨会论文集,STOC 2012。2012年5月19日至22日,美国纽约州纽约市。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1245-5)。971-982 (2012).MSC公司:64岁以下 第68季度85 68平方米 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bansal}等人,《第44届ACM计算理论研讨会论文集》,STOC 2012。2012年5月19日至22日,美国纽约州纽约市。纽约州纽约市:计算机协会(ACM)。971-982(2012年;Zbl 1286.68021) 全文: 内政部
哈维尔·埃斯帕尔扎;约格·克里克 无限状态系统验证的三个案例研究。 (英语) Zbl 1256.68117号 D’Souza,Deepak(编辑)等人,自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言:莱因哈德·威廉姆。新泽西州哈肯萨克:世界科学;班加罗尔:IISc出版社(ISBN 978-981-4271-04-2/hbk;978-981-4271-05-9/电子书)。IISc研究专著系列2,373-414(2012)。MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}和\textit{J.Kreiker},IISc Res.Monogr。序列号。2373-414(2012;Zbl 1256.68117) 全文: 内政部 链接
利西萨,A.P。;Nemytykh,A.P。 在一个使用oracle进行计算的应用程序上。 (英语。俄文原件) Zbl 1253.68089号 程序。计算。柔和。 第3期第36页,第157-165页(2010年); 译自Programmirovanie 36,No.3(2010)。MSC公司:68N20型 68甲19 68N99型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Lisitsa}和\textit{A.P.Nemytykh},程序。计算。柔和。36,第3号,157--165(2010;Zbl 1253.68089);译自Programmirovanie 36,No.3(2010) 全文: 内政部
陈晓芳;Yang,余;加内什·戈帕拉克里什南;周庆孙 形式化验证分层缓存一致性协议安全属性的有效方法。 (英语) Zbl 1209.68314号 形式方法系统。设计。 36,第1期,37-64(2010).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}等人,《形式方法系统》。设计。36,编号1,37--64(2010;Zbl 1209.68314) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;努梅内·本·亨达;艾哈迈德·雷兹 单调抽象:关于参数化系统的有效验证。 (英语) Zbl 1186.68272号 发现的国际期刊。计算。科学。 20,第5号,779-801(2009).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,国际期刊发现。计算。科学。20,第5号,779--801(2009;Zbl 1186.68272) 全文: 内政部
沃尔夫冈·贝恩;劳伦斯·拉莫尔。;吕迪格·赖舒克 共享内存多处理器系统中缓存问题的知识状态。 (英语) Zbl 1170.68346号 发现的国际期刊。计算。科学。 20,第1期,167-183(2009).MSC公司:64岁以下 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{W.Bein}等人,国际期刊发现。计算。科学。20,第1号,167--183(2009;Zbl 1170.68346) 全文: 内政部
郭、姚;弗拉基米尔·弗拉索夫;阿肖克,拉克西特;理查德·韦斯;塞巴·安德拉斯·莫里茨 同步一致性:用于缓存一致性和细粒度同步的透明硬件机制。 (英语) Zbl 1243.68108号 J.平行分布计算。 68,第2期,165-181(2008).MSC公司:68平方米 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{Y.Guo}等人,J.平行分布计算。68,第2号,165--181(2008;Zbl 1243.68108) 全文: 内政部
Vu,Thuy Duong先生;张莉;克里斯·杰希普 验证片上COMA缓存一致性协议。 (英语) Zbl 1170.68301号 Meseguer,José(编辑)等人,代数方法论和软件技术。2008年7月28日至31日在美国伊利诺伊州乌尔班纳举行的2008年AMAST第12届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-79979-5/pbk)。计算机科学课堂讲稿5140413-429(2008)。MSC公司:2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{T.D.Vu}等人,Lect。注释计算。科学。5140、413--429(2008年;Zbl 1170.68301) 全文: 内政部 链接
阿列克谢·利西萨;安德烈·奈米提克(Andrei P.Nemytykh)。 通过超级编译进行验证时的可达性分析。 (英语) Zbl 1162.68477号 发现的国际期刊。计算。科学。 19,第4期,953-969(2008).MSC公司:第68季度第60季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Lisitsa}和\textit{A.P.Nemytykh},国际期刊发现。计算。科学。19,第4号,953--969(2008;Zbl 1162.68477) 全文: 内政部
Lahiri,Shuvendu K。;Randal E.布莱恩特。 带有索引谓词的谓词抽象。 (英语) Zbl 1367.68196号 ACM事务处理。计算。日志。 第9号第1条第4条第29页(2007年).MSC公司:第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Lahiri}和\textit{R.E.Bryant},ACM Trans。计算。日志。9,第1号,第4条,29页(2007年;Zbl 1367.68196) 全文: 内政部 arXiv公司
庞、军;Wan Fokkink公司;罗格·霍夫曼;罗纳德·维尔德马 模型检查Java DSM实现的缓存一致性协议。 (英语) Zbl 1106.68013号 J.日志。代数。程序。 71,第1期,1-43页(2007年).MSC公司:68甲15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Pang}等人,J.Log。代数。程序。71,第1号,1-43(2007;Zbl 1106.68013) 全文: 内政部
萨罗哈德维,H。;南迪,S.K。;Balakrishnan,S。 分布式共享内存多处理机中缓存一致性在数据共享边界局部保持时程序执行的正确性。 (英语) Zbl 1079.68513号 国际J并行程序。 32,编号5,415-446(2004).MSC公司:68平方米 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{H.Sarojadevi}等人,《国际并行程序》。32,第5号,415--446(2004;Zbl 1079.68513) 全文: 内政部
乔治·德尔扎诺 参数化缓存一致性协议的基于约束的验证。 (英语) Zbl 1073.68518号 形式方法系统。设计。 23,第3期,257-301(2003).MSC公司:68个M12 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno},《形式方法系统》。设计。23,第3号,257--301(2003;Zbl 1073.68518) 全文: 内政部
拉杰夫·乔希;莱斯利·兰波特;约翰·马修斯;塞尔达尔·塔西兰;马克·塔特尔;于、袁 使用TLA\(^+\)检查缓存相干协议。 (英语) Zbl 1021.68052号 形式方法系统。设计。 22,第2期,125-131(2003).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Joshi}等人,《形式方法系统》。设计。22,第2号,第125--131条(2003;Zbl 1021.68052) 全文: 内政部
马尼阿齐米;周庆孙;阿基列什·库马尔;Victor W·李。;Mannava,Phamndra K。;Park,Seungjoon公园 有将形式化方法应用于协议规范和系统架构的经验。 (英语) Zbl 1020.68008号 形式方法系统。设计。 第2109-116号第22页(2003年).MSC公司:68个M12 68-01 PDF格式BibTeX公司 XML格式引用 \textit{M.Azimi}等人,《形式方法系统》。设计。22,第2号,109--116(2003;Zbl 1020.68008) 全文: 内政部
霍克·本·利姆;紫杉、彭冲 高效集成编译器定向缓存一致性和数据预取。 (英语) Zbl 1006.68034号 J.平行分布计算。 61,第12期,1775-1802(2001).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{H.-B.Lim}和\textit{P.-C.Yew},J.并行分布计算。61,第12号,1775--1802(2001;Zbl 1006.68034) 全文: 内政部 链接
德卡斯特罗·杜特拉;维托尔·桑托斯·科斯塔;里卡多·比安奇尼 缓存一致性协议对并行逻辑编程系统的影响。 (英语) Zbl 0983.68712号 Lloyd,John(编辑)等人,《计算逻辑-CL 2000》。第一届国际会议,英国伦敦,2000年7月24日至28日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1861, 1285-1299 (2000).MSC公司:68单位99 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{I.de Castro Dutra}等人,Lect。注释计算。科学。18611285-1299(2000年;Zbl 0983.68712)
巴赫,E。;M.奇维。 阈值数据结构和编码理论。 (英语) Zbl 0938.68026号 西奥。计算。科学。 235,第1期,3-23(2000).MSC公司:68第05页 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{E.Bach}和\textit{M.Kiwi},Theor。计算。科学。235,编号1,3--23(2000年;兹bl 0938.68026) 全文: 内政部
乔纳斯·斯凯普斯特特;弗雷德里克·达尔格伦;斯坦斯特姆,佩尔 评估编译器控制的更新,以减少共享内存多处理器中的一致性丢失损失。 (英语) Zbl 0922.68021号 J.平行分布计算。 56,第2期,第122-143页(1999年).MSC公司:68M99型 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Skeppstedt}等人,J.并行分布计算。56,编号2,122--143(1999;Zbl 0922.68021) 全文: 内政部
Brorsson,Mats公司;斯坦斯特姆,佩尔 多处理器程序中共享内存访问的特征描述和建模。 (英语) Zbl 0900.68081号 并行计算。 22,第6号,869-893(1996).MSC公司:68M99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Brorsson}和\textit{P.StenströM},并行计算。22,第6号,869--893(1996;Zbl 0900.68081) 全文: 内政部
黄建元;张世昌;陈振林 通过迭代平均值分析对缓存相干多处理器的性能进行评估。 (英语) Zbl 0875.68098号 执行。评估。 23,第1期,31-52(1995).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{C.-Y.Huang}等人,《绩效评估》。23,第1号,31-52(1995年;Zbl 0875.68098) 全文: 内政部
路易斯·安德烈·巴罗佐;米歇尔·杜波伊斯 开槽环多处理机的性能评估。 (英语) Zbl 1057.68539号 IEEE传输。计算。 44,第7期,878-890(1995).MSC公司:68平方米 68米10 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Barroso}和\textit{M.Dubois},IEEE Trans。计算。44,第7号,878--890(1995;Zbl 1057.68539) 全文: 内政部 链接
米歇尔·杜波伊斯(编辑);Shreekant S.塔卡。(编辑) 多处理器中的缓存和互连体系结构。 (英语) Zbl 0743.68036号 波士顿等:Kluwer学术出版社。十二、 304页(1990年)。 审核人:M.Papageorgiou(慕尼黑) MSC公司:2007年7月68日 68米10 68平方米 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.Dubois}(编辑)和\textit{S.Thakkar}(主编),多处理器中的缓存和互连体系结构。波士顿等:Kluwer学术出版社(1990;Zbl 0743.68036)
拉塞尔·克莱普(Russell M.Clapp)。;特雷弗·N·马奇。;唐纳德·温莎(Donald C.Winsor)。 进程间集合的缓存一致性要求。 (英语) Zbl 0713.68007号 国际J并行程序。 19,第1号,31-51(1990).MSC公司:68米10 68甲15 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Clapp}等人,《国际并行程序》。19,第1号,31--51(1990;Zbl 0713.68007) 全文: 内政部
安娜·卡林(Anna R.Karlin)。;马克·马纳斯。;鲁道夫,拉里;丹尼尔·斯莱特(Daniel D.Sleator)。 竞争性的snoopy缓存。 (英语) Zbl 0645.68034号 算法 3,第1号,79-119(1988).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Karlin}等人,Algorithmica 3,No.1,79--119(1988;Zbl 0645.68034) 全文: 内政部