×

找到23个文档（结果1–23）

最新的 引文 关联
本·达维德（Naama Ben-David）;盖伊·E·布莱洛赫。;帕纳吉奥塔·法图鲁;埃里克·鲁珀特;孙一涵;魏元浩

有空间和时间限制的多版本垃圾收集。 （英语） 兹伯利07774263

Gilbert，Seth（编辑），第35届分布式计算国际研讨会，DISC 2021，德国弗莱堡（虚拟会议），2021年10月4日至8日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。209，第12条，第20页（2021年）。
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{N.Ben-David}等人，LIPIcs——莱布尼茨国际程序。通知。209，第12条，20 p.（2021；Zbl 07774263）
全文： 内政部 arXiv公司
托马斯·帕尼;乔治·威森巴赫;弗洛里安·祖勒格

参数化并发共享内存程序的可靠性保证界分析。应用于证明非阻塞算法是有界无锁的。 （英语） Zbl 1522.68161号

形式方法系统。设计。 57，第2期，270-302（2021）.
MSC公司：68纳米30 68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛T.Pani｝等人，《表格方法系统》。设计。57，第2号，270--302（2021；Zbl 1522.68161）
全文： 内政部
OA许可证
阿拉斯阿塔拉;保罗·雷纳德·古德;菲利帕斯·齐加斯

无锁搜索数据结构：使用泊松过程的吞吐量建模。 （英语） Zbl 07561437号

曹建农（编辑）等，第22届分布式系统原理国际会议，OPODIS 2018，2018年12月17日至19日，中国香港。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。125，第9条，第16页（2019年）。
MSC公司：64岁以下 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{A.Atalar}等人，LIPIcs——莱布尼茨国际程序。通知。125，第9条，第16页（2019年；Zbl 07561437）
全文： 内政部 arXiv公司
鲁斯兰·尼古拉耶夫;拉文德兰，比诺伊

透明：快速透明的无锁内存回收。 （英语） Zbl 07298704号

Nowak，Thomas（编辑），第38届ACM分布式计算原理研讨会论文集，PODC’19，加拿大安大略省多伦多，2019年7月29日至8月2日。纽约州纽约市：计算机协会（ACM）。419-421 (2019).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit｛R.Nikolaev｝和\textit｛B.Ravindran｝，载于：第38届ACM分布式计算原理研讨会论文集，加拿大安大略省多伦多市，2019年7月29日至8月2日。纽约州纽约市：计算机协会（ACM）。419-421（2019年；Zbl 07298704）
全文： 内政部
伊万·瓦卢里亚;巴皮·查特吉;阿乔伊·K·达塔。;Rashmi尼约利亚;菲利帕斯·齐加斯

具有可变优先级的并发无锁无界优先级队列。 （英语） Zbl 1519.68065号

Izumi，Taisuke（编辑）等人，《分布式系统的稳定、安全和保障》。第20届国际研讨会，2018年SSS，日本东京，2018年11月4-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11201, 365-380 (2018).
MSC公司：68第05页 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{I.Walulya}等人，Lect。注释计算。科学。11201365-380（2018；Zbl 1519.68065）
全文： 内政部
阿贝尔·拉维夫，玛雅;特雷弗·布朗

重用，不回收：转换丢弃描述符的无锁算法。 （英语） Zbl 1515.68354号

Richa，Andraéa W.（编辑），第31届分布式计算国际研讨会，DISC 2017，奥地利维也纳，2017年10月16-20日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。91，第4条，第16页（2017年）。
MSC公司：68宽15 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{M.Arbel-Raviv}和\textit{T.Brown}，LIPIcs——莱布尼茨国际程序。通知。91，第4条，第16页（2017年；Zbl 1515.68354）
全文： 内政部 arXiv公司
何孟;李孟都

在非阻塞二进制搜索树中删除而不重新平衡。 （英语） Zbl 1432.68091号

Fatourou，Panagiota（编辑）等人，第20届分布式系统原理国际会议（OPODIS 2016），西班牙马德里，2016年12月13-16日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。70，第34条，第17页。(2017).
MSC公司：68第05页
PDF格式BibTeX公司 XML格式引用
\textit{M.He}和\textit{M.Li}，LIPIcs——莱布尼茨国际程序。通知。70，第34条，第17页（2017；Zbl 1432.68091）
全文： 内政部
阿拉斯阿塔拉尔;保罗·雷纳德·古德;菲利帕斯·齐加斯

无锁数据结构在动态环境中的表现：模型和分析。 （英语） Zbl 1432.68080号

Fatourou，Panagiota（编辑）等人，第20届分布式系统原理国际会议（OPODIS 2016），西班牙马德里，2016年12月13-16日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。70，第23条，第17页。(2017).
MSC公司：68第05页 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{A.Atalar}等人，LIPIcs——莱布尼茨国际程序。通知。70，第23条，第17页（2017；Zbl 1432.68080）
全文： 内政部 arXiv公司
特雷弗·布朗

使用HTM实现快速无锁树的模板。 （英语） Zbl 1380.68140号

2017年7月25日至27日在美国华盛顿特区举行的2017年ACM分布式计算原理研讨会论文集，PODC’17。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4992-5）。293-302 (2017).
MSC公司：68第05页
PDF格式BibTeX公司 XML格式引用
\textit{T.Brown}，in：第36届ACM分布式计算原理研讨会论文集，PODC’17，华盛顿特区，美国，2017年7月25-27日。纽约州纽约市：计算机协会（ACM）。293--302（2017；Zbl 1380.68140）
全文： 内政部 arXiv公司
阿纳斯塔西亚·布拉金斯基;纳克肖恩·科恩;埃雷兹·彼得兰克

CBPQ：高性能无锁优先级队列。 （英语） Zbl 1439.68009号

Dutot、Pierre-François（编辑）等，《2016年欧洲-巴黎：并行处理》。第22届并行和分布式计算国际会议，2016年8月24日至26日，法国格勒诺布尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9833, 460-474 (2016).
MSC公司：68第05页 65年20月
PDF格式BibTeX公司 XML格式引用
\textit{A.Braginsky}等人，莱克特。注释计算。科学。9833、460-474（2016年；Zbl 1439.68009）
全文： 内政部
Ryan R.牛顿。;彼得·福克。;阿里·瓦拉梅什

自适应无锁地图：从纯功能到可扩展。 （英语） 兹比尔1360.68385

2015年9月1日至3日，加拿大温哥华，ICFP’15，第20届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3669-7）。218-229 (2015).
MSC公司：68第05页 68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{R.R.Newton}等人，《第20届ACM SIGPLAN函数编程国际会议论文集》，ICFP’15，加拿大温哥华，2015年9月1日至3日。纽约州纽约市：计算机协会（ACM）。218--229（2015；Zbl 1360.68385）
全文： 内政部
伊安妮斯·尼古拉科普洛斯;安德斯·吉登斯塔姆;玛丽娜·帕帕特里安塔菲卢;菲利帕斯·齐加斯

并发数据结构和迭代。 （英语） Zbl 1331.68065号

Zaroliagis，Christos（编辑）等人，《算法、概率、网络和游戏》。在保罗·G·斯皮拉基斯60岁生日之际，为他撰写了科学论文和论文。商会：施普林格出版社（ISBN 978-3-319-24023-7/pbk；978-3-319-24024-4/ebook）。计算机科学课堂讲稿9295358-369（2015）。
MSC公司：68第05页
PDF格式BibTeX公司 XML格式引用
\textit{Y.Nikolakopoulos}等人，Lect。注释计算。科学。9295，358--369（2015；Zbl 1331.68065）
全文： 内政部
埃伦·费思;帕纳吉奥塔·法图鲁;乔安娜·赫尔加;埃里克·鲁珀特

非阻塞二进制搜索树的摊销复杂性。 （英语） Zbl 1321.68307号

2014年ACM分布式计算原理研讨会论文集，2014年7月15日至18日，法国巴黎，PODC’14。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2944-6）。332-340 (2014).
MSC公司：65年第68季度 68第05页
PDF格式BibTeX公司 XML格式引用
\textit｛F.Ellen｝等人，在：第33届ACM分布式计算原理研讨会论文集，2014年7月15日至18日，法国巴黎，PODC'14。纽约州纽约市：计算机协会（ACM）。332-340（2014年；Zbl 1321.68307）
全文： 内政部
巴皮·查特吉;Nhan Nguyen;菲利帕斯·齐加斯

高效的无锁二进制搜索树。 （英语） Zbl 1321.68460号

2014年ACM分布式计算原理研讨会论文集，2014年7月15日至18日，法国巴黎，PODC’14。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2944-6）。322-331 (2014).
MSC公司：68宽15 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{B.Chatterjee}等人，in：第33届ACM分布式计算原理研讨会论文集，PODC’14，法国巴黎，2014年7月15-18日。纽约州纽约市：计算机协会（ACM）。322--331（2014年；Zbl 1321.68460）
全文： 内政部 arXiv公司
罗伯特·科尔文;西蒙·多尔蒂;林赛·格罗夫斯

通过模拟验证并发数据结构。 （英语） Zbl 1276.68062号

Derrick，John（编辑）等人，《REFINE 2005研讨会论文集》，英国吉尔福德，2005年4月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记137，第2期，93-110（2005）。
MSC公司：68第05页 65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Colvin}等人，《电子》。注释Theor。计算。科学。137，第2号，93--110（2005；Zbl 1276.68062）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件