首页> 美国政府科技报告 >Model-Driven Verifying Compilation of Synchronous Distributed Applications.

【24h】

Model-Driven Verifying Compilation of Synchronous Distributed Applications.

机译：模型驱动验证同步分布式应用程序的编译。

获取原文

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

No abstract available.

著录项

作者
Chaki, S.; Edmondson, J.;
展开▼
作者单位

展开▼
年度 2014
页码 1-25
总页数 25
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Computer program verification; Distributed data processing; Distributed algorithms; Distributed applications;

机译：计算机程序验证;分布式数据处理;分布式算法;分布式应用;

相似文献

外文文献
中文文献
专利

1. DiSCo: Distributed Scalable Compilation Tool for Heavy Compilation Workload [J] . Kyongjin JO, Seon Wook KIM, Jong-Kook KIM IEICE transactions on information and systems . 2013,第3期

机译：DiSCo：用于繁重的编译工作的分布式可扩展编译工具
2. DiSCo: Distributed Scalable Compilation Tool for Heavy Compilation Workload [J] . Kyongjin JO, Seon Wook KIM, Jong-Kook KIM IEICE Transactions on Information and Systems . 2013,第3期

机译：DiSCo：用于繁重的编译工作的分布式可扩展编译工具
3. Verified bytecode verification and type-certifying compilation [J] . Gerwin Klein, Martin Strecker Journal of Logic and Algebraic Programming . 2004,第1a2期

机译：经过验证的字节码验证和类型验证编译
4. Model-Driven Verifying Compilation of Synchronous Distributed Applications [C] . Sagar Chaki, James Edmondson International conference on model driven engineering languages and systems . 2014

机译：同步分布式应用程序的模型驱动的验证编译
5. Model-driven software and performance engineering for non-functional properties in distributed applications. [D] . Wada, Hiroshi. 2009

机译：由模型驱动的软件和性能工程，用于分布式应用程序中的非功能性属性。
6. A Web link management tool for optimizing utilization of distributed knowledge in health care applications. [O] . D. F. Lobach, R. U. Spell, J. W. Hales, 1999

机译：一个Web链接管理工具用于优化医疗保健应用程序中分布式知识的利用。
7. Mechanized semantics and verified compilation for a dataflow synchronous language with reset [O] . Timothy Bourke, Lélio Brun, Marc Pouzet 2020

机译：RESET的DataFlow同步语言的机械化语义和验证编译

Model-Driven Verifying Compilation of Synchronous Distributed Applications.

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅