×

并行软件设计自动化的形式化方法。 (英语) Zbl 1463.68016号

摘要:提出了并行程序自动设计和综合的形式化方法和软件工具。所开发的设施使用基于算法代数的Glushkov系统的语言,用于算法的高级和自然语言表示,并应用重写规则技术来转换程序。这些工具还使用了语法正确的算法方案设计方法,消除了算法和程序构建过程中的语法错误。该方法以开发并行N体仿真程序为例,用于在图形处理单元上执行。

MSC公司:

68号30 软件工程的数学方面(规范、验证、度量、需求等)
68甲19 其他编程范式(面向对象、顺序、并发、自动等)
2012年第68季度 语法和重写系统
68瓦01 算法理论的一般主题
70-10 粒子和系统力学问题的数学建模或模拟
70层10 \(n\)-身体问题

软件:

CUDA公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部