×

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

关于事务性内存的活性。 (英语) Zbl 1301.68089号

2012年ACM分布式计算原理研讨会论文集,PODC'12,葡萄牙丰沙尔,2012年7月16日至18日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1450-3)。9-18 (2012).
MSC公司:68甲19
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

基于锁的事务内存中进程的语义。 (英语) Zbl 1315.68065号

2009年1月18日至24日,美国佐治亚州萨凡纳,POPL'09,第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-379-2)。404-415 (2009).
MSC公司:68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

放松内存模型上的软件事务内存。 (英语) Zbl 1242.68162号

Bouajjani,Ahmed(编辑)等人,《计算机辅助验证》。2009年6月26日至7月2日在法国格勒诺布尔举行的第21届CAV 2009国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02657-7/pbk)。计算机科学课堂讲稿5643,321-336(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交易记忆:理论的曙光(特邀论文)。 (英语) Zbl 1242.68056号

Bouajjani,Ahmed(编辑)等人,《计算机辅助验证》。2009年6月26日至7月2日在法国格勒诺布尔举行的第21届CAV 2009国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02657-7/pbk)。计算机科学讲座笔记5643,1-15(2009)。
MSC公司:68甲19
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一个非常健壮的读取可以有多快? (英语) Zbl 1314.68157号

2006年7月23日至26日,美国科罗拉多州丹佛市2006年PODC第25届ACM分布式计算原理研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-384-0)。248-257 (2006).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

走向事务争用管理器理论。 (英语) Zbl 1314.68088号

2005年7月17日至20日,美国内华达州拉斯维加斯,PODC’05,第24届ACM分布式计算原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-994-2)。258-264 (2005).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

分布式原子读取的速度有多快? (英语) Zbl 1321.68071号

2004年7月25日至28日,加拿大纽芬兰圣约翰PODC’04第23届ACM分布式计算原理研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-802-4)。236-245 (2004).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

AOP:这有意义吗?并发和故障的情况。 (英语) 邮编:1049.68800

Magnusson,Boris(编辑),ECOOP 2002-面向对象编程。第十六届欧洲会议,2002年6月10日至14日,西班牙马拉加。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43759-2)。莱克特。注释计算。科学。第2374、37-61页(2002年)。
MSC公司:68单位99 68甲19
PDF格式BibTeX公司 XML格式引用
全文: 链接

X能力,复制理论。 (英语) 兹比尔1314.68062

2000年7月16日至19日,美国俄勒冈州波特兰,PODC’00,第19届ACM分布式计算原理研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-183-6)。229-237 (2000).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段