×

找到33个文档(结果1-33)

对缓存一致性建模以暴露干扰。 (英语) 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格式引用
全文: 内政部

用常春藤对可判定片段进行演绎验证。 (英语) Zbl 1511.68165号

安德烈亚斯·波德尔斯基(编辑),《静态分析》。2018年8月29日至31日在德国弗莱堡举行的2018年SAS第25届国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11002, 43-55 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

块粒度的远程内存引用。 (英语) Zbl 1487.68029号

Aspnes,James(编辑)等人,第21届分布式系统原理国际会议,OPODIS 2017,葡萄牙里斯本,2017年12月18-20日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。95,第18条,第17页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无限系统上的模型检查TLR*保证公式。 (英语) Zbl 1407.68296号

Iida,Shusaku(编辑)等人,《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林:斯普林格。莱克特。注释计算。科学。8373, 129-150 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

严格的时空互斥权衡。 (英语) Zbl 1286.68021号

Karloff,Howard J.(编辑)等人,第44届ACM计算理论研讨会论文集,STOC 2012。2012年5月19日至22日,美国纽约州纽约市。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1245-5)。971-982 (2012).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无限状态系统验证的三个案例研究。 (英语) Zbl 1256.68117号

D’Souza,Deepak(编辑)等人,自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言:莱因哈德·威廉姆。新泽西州哈肯萨克:世界科学;班加罗尔:IISc出版社(ISBN 978-981-4271-04-2/hbk;978-981-4271-05-9/电子书)。IISc研究专著系列2,373-414(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

在一个使用oracle进行计算的应用程序上。 (英语。俄文原件) Zbl 1253.68089号

程序。计算。柔和。 第3期第36页,第157-165页(2010年); 译自Programmirovanie 36,No.3(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

验证片上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格式引用
全文: 内政部 链接

缓存一致性协议对并行逻辑编程系统的影响。 (英语) Zbl 0983.68712号

Lloyd,John(编辑)等人,《计算逻辑-CL 2000》。第一届国际会议,英国伦敦,2000年7月24日至28日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1861, 1285-1299 (2000).
MSC公司:68单位99 68N17号
PDF格式BibTeX公司 XML格式引用

多处理器中的缓存和互连体系结构。 (英语) Zbl 0743.68036号

波士顿等:Kluwer学术出版社。十二、 304页(1990年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

主字段