Reseach on the Formalization of Parallel Programming Platform Architecture
并行程序开发平台体系结构的形式化研究*

Keywords: 软件体系结构,软件体系结构描述语言,并行计算,形式化描述

Full-Text   Cite this paper   Add to My Lib

Abstract:

用软件体系结构描述语言WRIGHT对并行程序开发平台结构进行形式化描述，指出这种描述的优点以及软件体系结构形式化研究的重要性。

Full-Text