关于并行计算论文

@第{Dershowitz2016OnTP条，title={关于并行计算论文}，author={Nachum Dershowitz和Evgenia Falkovich-Derzhavetz}，日志={Log.J.IGPL}，年份={2016年}，体积={24}，页码={346-374}，网址={https://api.semanticscholar.org/CorpusID:8379973}}
结果表明，任何满足直观吸引人的假设的并行算法都可以用一组细胞来建模，每个细胞都是一个抽象状态机，并具有生成新细胞的能力。
通过Publisher查看
academic.oup.com
8引文
背景引文
三
方法引文
1

本文中的数字

8引文

不变命题

研究表明，任何经典计算模型或编程语言的程序，只要满足有效性的自然假设，而不考虑它所使用的数据结构，都可以用随机存取机（RAM）进行模拟，而只需要恒定的因子开销。

递归算法的行为理论

结构计算——理论与严格科学实践无缝结合的挑战

理论计算机科学面临的关键挑战是提供以计算理论、复杂性和逻辑为中心的必要科学基础，必须确保现代计算在所有方面的实践中都以严格的科学方法为基础。

无关紧要的选择多项式时间

证明了一个等价定理，该定理描述了无法通过逻辑区分的结构，这意味着SAT不能通过ICPT计算来决定。

反射算法的行为理论I：反射序列算法

BSP抽象状态机捕获批量同步并行计算

Multi-BSP算法的公理化和必要特征：关于部分解的问答

本文讨论了有关多bsp算法及其编程的两个问题，并提出了一种基于bsp版本的序列抽象状态机（asms）的扩展的解决方案，该扩展已被证明对此类算法是完整的。

用于流上有效MapReduce处理的无边界屏障同步并发ASM

42参考文献

序列机器的并行加速：并行计算论题的辩护

结果表明，在满足并行计算理论的模型上，如果如广泛推测的那样，P&#8840；POLYLOGSPACE，这样的模型不可能有指数加速。

不变命题

研究表明，任何经典计算模型或编程语言的程序，只要满足有效性的自然假设，而不考虑它所使用的数据结构，都可以用随机存取机（RAM）进行模拟，而只需要恒定的因子开销。

共享内存机的并行算法

抽象状态机捕获并行算法：修正和扩展

证明了并行算法这一新的正确概念的并行命题，并检查了并行ASM是否满足新的公理。

通用并行算法

一种用于并行算法的自然启发通用编程语言，适用于所有数据结构和控制结构，每种结构都是抽象状态机，并具有生成新单元的能力。

关于一般计算模型

Gurevich提供了构成经典序列算法的最一般和通用的定义，并为通用并行算法提供了类似的定义，证明了满足作者公理化的任何系统的演化确实是机械的。

机器模型和仿真

普通交互式小步算法，I

描述了在一个步骤中而不是仅在步骤之间与环境交互的交互式算法，并讨论了一阶逻辑的推广，其中函数和关系符号的参数不仅是元素元组，而且是这些元组在参数位置排列组下的轨道。

禁止同时访问内存地址的模型的实现

可计算性的自然公理化与Church论文的证明

研究表明，如哥德尔和其他人所建议的那样，通过对基本运算的额外要求来增强算法计算的这些假设，可以使可计算性得到自然公理化，并证明丘奇命题。