《 并发搜索结构的自动验证 》
- 计算机
- 选题分类:计算机理论
- 原版语种:英语(可提供图书翻译服务)
- 出版日期:2021年06月
- 页数:188页
- 图书定价:(不详)
- 开本:190mm×234mm
- 浏览次数:223
- 字数:(不详)
- 作品星级:
- 内文印刷:单色
申请样书样章
您正在通过本网站在线提交出版评估申请。
若您的申请获得通过,您将可以在线对本作品的电子样书进行查看。
特别提示:
1、一旦提交本申请,则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权,并承诺在申请日起18个月内,不会向任何第三方(包括但不限于图书作者、出版方及其他代理商等)申请或联系上述图书的中文简体版权。否则,我公司有权关闭您在本网站的使用权限,且不再与您进行任何业务合作,并有权要求您支付不低于人民币5000元/本的违约金,或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用,不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况,否则无论最终是否与您达成中文版权的交易合作,该费用概不退还。
申请翻译样章
您正在通过本网站在线提交翻译样章申请。
若您的申请获得通过,您将可以在线对本作品的翻译样章进行查看。
特别提示:
1、一旦提交本申请,则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权,并承诺在申请日起18个月内,不会向任何第三方(包括但不限于图书作者、出版方及其他代理商等)申请或联系上述图书的中文简体版权。否则,我公司有权关闭您在本网站的使用权限,且不再与您进行任何业务合作,并有权要求您支付不低于人民币5000元/本的违约金,或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用,不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况,否则无论最终是否与您达成中文版权的交易合作,该费用概不退还。
内容简介
并发搜索结构是一种并行算法,用于加快对多核和分布式服务器上搜索结构的访问速度。这些复杂的算法在线程之间执行细粒度的同步,这使得正确设计它们非常困难。事实上,在实际实现和专家在同行评审的出版物中提出的设计中都发现了错误。这些并发算法的快速开发和部署导致了可以通过最先进技术验证的算法和目前正在开发和使用的算法之间的裂痕。本书的目标是展示如何弥合这种差距,以便为高性能并发搜索结构带来正式验证的经过认证的安全性。类似的技术和框架可以应用于搜索结构之外的并发图和网络算法。
作者介绍
英国剑桥微软研究院的博士后研究员。他在纽约大学(New York University)获得了逻辑和验证博士学位,并有幸与尼萨尔格(Nisarg)、丹尼斯(Dennis)和托马斯(Thomas)一起工作。他现在从事并行和分布式算法的研究,用于大规模机器学习工作。
尼萨尔·帕特尔
纽约大学计算机科学系的博士生,他与Siddharth、Dennis和Thomas一起从事并行程序的自动验证工作。他的学术兴趣还包括机器人控制器程序的合成。在计算机科学之外,他喜欢踢足球,阅读有关历史和政治的书籍。
丹尼斯·沙沙
纽约大学Courant研究所计算机科学的Julius Silver教授,纽约大学无线副主任。除了对并行算法的长期痴迷外,他还致力于机器学习的元算法,以保证正确率;与生物学家的模式发现网络推理;与物理学家和金融人士一起研究时间序列的算法;数据库调优;树和图的匹配。因为他喜欢打字,他已经写了六本关于数学侦探埃科博士的谜题的书,一本关于伟大计算机科学家的传记,还有一本关于计算机的未来的书。他还写过关于数据库调整、生物模式识别、时间序列、DNA计算、重采样统计和分子网络中的因果推理的技术书籍。他曾为《科学美国人》、《多布博士杂志》和目前的《美国ACM通讯》等出版物撰写益智专栏。他是ACM的成员和INRIA国际主席。
托马斯·维斯
纽约大学Courant研究所计算机科学副教授,也是计算机系统分析小组成员。他的研究兴趣是编程语言和形式化方法,重点是程序分析和验证,自动推理和并发软件的正确性。他是NSF职业成就奖的获得者,并获得了多个最佳论文奖。他对同时穿越树木的迷恋延伸到了他的业余时间,他喜欢在树林里远足。