×

找到31个文档（结果1-31）

最新的 引文 关联
肖莉莉;朱慧彪

基于UTP的MCA ARMv8体系结构的跟踪语义和代数法则。 （英语） Zbl 1498.68018号

秦胜超（主编）等，可靠软件工程。理论、工具和应用。第七届国际研讨会，SETTA 2021，中国北京，2021年11月25-27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13071，81-101（2021）。
MSC公司：2007年7月68日 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Xiao}和\textit{H.Zhu}，Lect。注释计算。科学。13071，81--101（2021；Zbl 1498.68018）
全文： 内政部
安倍晋三;乌加瓦、托马哈鲁;前田俊彦

内存一致性模型检查中状态爆炸的重排序控制方法。 （英语） Zbl 1403.68120号

Paskevich，Andrei（编辑）等人，《验证软件》。理论、工具和实验。第九届国际会议，2017年7月22日至23日，德国海德堡，VSTTE 2017。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-72307-5/pbk；978-3-3169-72308-2/电子书）。计算机科学课堂讲稿10712，170-190（2017）。
MSC公司：60年第68季度 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{T.Abe}等人，Lect。注释计算。科学。10712，170-190（2017；Zbl 1403.68120）
全文： 内政部
阿兰·杰弗里;詹姆斯·里利

凭空阅读轻松记忆的事件结构模型。 （英语） Zbl 1392.68304号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。759-767 (2016).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Jeffrey}和\textit{J.Riely}，摘自：2016年第31届ACM/IEEE年度计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。759-767（2016年；兹比尔1392.68304）
全文： 内政部 arXiv公司
安倍晋三;前田俊彦

放松内存一致性模型的基于观察的并发程序逻辑。 （英语） Zbl 1483.68066号

Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10017, 63-84 (2016).
MSC公司：68甲19 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{T.Abe}和\textit{T.Maeda}，莱克特。注释计算。科学。10017，63-84（2016；Zbl 1483.68066）
全文： 内政部
Jean Pichon-Pharabod;彼得·休厄尔

放松原子的并发语义，允许优化并避免执行thin-air。 （英语） Zbl 1347.68091号

Bodik，Rastislav（编辑）等人，第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20日至22日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3549-2）。622-633 (2016).
MSC公司：68号30 68甲15 68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Pichon-Pharabod}和\textit{P.Sewell}，摘自：第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’16，美国佛罗里达州圣彼得堡，2016年1月20-22日。纽约州纽约市：计算机协会（ACM）。622--633（2016；Zbl 1347.68091）
全文： 内政部 链接
卡尔·克里;迈克尔·J·沙利文。

放松记忆的微积分。 （英语） Zbl 1346.68048号

第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。623-636 (2015).
MSC公司：68甲15 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{K.Crary}和\textit{M.J.Sullivan}，摘自：第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）。623--636（2015；Zbl 1346.68048）
全文： 内政部
威廉·曼斯基;埃尔萨·甘特。

验证并发程序的优化。 （英语） Zbl 1428.68124号

Schmidt Schauß，Manfred（ed.）等人，第一届程序转换和评估重写技术国际研讨会，WPTE’14，奥地利维也纳，2014年7月13日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。40, 15-26 (2014).
MSC公司：68号30 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{W.Mansky}和\textit{E.L.Gunter}，OASIcs--开放存取服务。通知。40，15-26（2014年；兹bl 1428.68124）
全文： 内政部
什耶夫切克，雅罗斯拉夫;维克托·瓦菲亚迪斯;弗朗西斯科·扎帕·纳德利;苏雷什·贾甘纳森;彼得·休厄尔

CompCertTSO:一个经过验证的编译器，用于松弛内存并发。 （英语） Zbl 1281.68072号

美国临床医学杂志 第60条第3款第22条第50页（2013年）。
MSC公司：68N20型 68甲15 68吨15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Ševík}等人，J.ACM 60，第3号，第22条，50页（2013；Zbl 1281.68072）
全文： 内政部
金华峰;图巴·雅武兹·卡维奇;贝弗利·A·桑德斯。

Java内存模型-软件模型检查。 （英语） 兹比尔1352.68054

Flanagan，Cormac（编辑）等人，《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议（TACAS 2012），是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28755-8/pbk）。计算机科学课堂讲稿7214，220-236（2012）。
MSC公司：68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Jin}等人，Lect。注释计算。科学。7214，220--236（2012；Zbl 1352.68054）
全文： 内政部
马克·巴蒂;斯科特·欧文斯;萨卡，苏斯米特;彼得·休厄尔;Tjark韦伯

对C++并发进行数学化。 （英语） 兹比尔1284.68165

2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。55-66 (2011).
MSC公司：68号30 68甲19 68问题85 68平方米 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{M.Batty}等人，《第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集》，POPL’11，美国德克萨斯州奥斯汀，2011年1月26日至28日。纽约州纽约市：计算机协会（ACM）。55-66（2011年；Zbl 1284.68165）
全文： 内政部 链接
雅罗斯拉夫·埃夫切克;维克托·瓦菲亚迪斯;弗朗西斯科·扎帕·纳德利;苏雷什·贾甘纳森;彼得·休厄尔

放松内存并发和验证编译。 （英语） Zbl 1284.68152号

2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。43-54 (2011).
MSC公司：68N20型 68甲15 68吨15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Ŝevčik}等人，《第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集》，POPL'11，美国德克萨斯州奥斯汀，2011年1月26日至28日。纽约州纽约市：计算机协会（ACM）。43-54（2011年；Zbl 1284.68152）
全文： 内政部
穆罕默德·法乌齐（Mohamed Faouzi Atig）;艾哈迈德·博阿贾尼;塞巴斯蒂安·伯克哈特;马丹拉尔·穆苏瓦蒂

关于弱记忆模型的验证问题。 （英语） Zbl 1312.68050号

2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-479-9）。7-18 (2010).
MSC公司：68号30 2007年7月68日 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{M.F.Atig}等人，in：第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL’10，西班牙马德里，2010年1月17日至23日。纽约州纽约市：计算机协会（ACM）。7-18（2010年；Zbl 1312.68050）
全文： 内政部
塔伊布·哈德里

Etude dans \（HB\times BD\）'un modèle de plaquesélastplastiques comportant une nonéaritégéométrique。（几何非线性弹塑性板模型研究（HB×BD））。 （法语） Zbl 0626.73036号

RAIRO，数学建模。分析。编号。 19, 235-283 (1985)。
审核人：V.布尔奇奇
MSC公司：74B99型 74C99型 74D99型 74K20型
PDF格式BibTeX公司 XML格式引用
\textit{T.Hadhri}，RAIRO，数学建模。分析。编号。19、235-283（1985年；Zbl 0626.73036）
全文： 内政部 欧洲DML

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件