首页> 外文期刊>Programming and Computer Software >A Formal Model of a System for Automated Program Parallelization
【24h】

A Formal Model of a System for Automated Program Parallelization

机译:程序自动并行化系统的正式模型

获取原文
获取原文并翻译 | 示例

摘要

In the paper, the T-system-an approach to automated program parallelization that has several implementations-is studied. In the absence of formal justification, these implementations have a number of disadvantages, which results in incorrect operation of programs. In the paper, a mathematical model of the T-system is constructed, and, in the framework of this model, correctness of parallelization is proved. The model makes it possible to reveal a number of inaccuracies in the latest version of the T-system OpenTS and suggest ways to eliminate them. The use of the formal model in the development of NewTS, a new version of the T-system, is described.
机译:在本文中,研究了T系统(一种具有多种实现方式的自动化程序并行化方法)。在没有正式理由的情况下,这些实现具有许多缺点,这导致程序的错误操作。本文建立了T系统的数学模型,并在该模型的框架内证明了并行化的正确性。该模型可以揭示最新版本的T系统OpenTS中的许多错误,并提出消除这些错误的方法。描述了形式模型在NewTS(T系统的新版本)的开发中的使用。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号