江西省高性能计算技术重点实验室 
研究主题：PAR方法 形式化推导 循环不变式 PAR平台 APLA
研究学科：自动化类 经济学类
- 虚拟现实软件系统开发方法研究
- 1
- 《计算机工程与科学》江西师范大学国家网络化支撑软件国际科技合作基地;江西师范大学计算机信息工程学院;江西省高性能计算技术重点实验室 周哲泓 薛锦云 黄捷文 出版年：2019
- 关键词：虚拟现实 PAR平台 程序自动生成 C#语言
- Apla中泛型约束机制研究 ( EI收录)
- 2
- 《软件学报》中国科学院软件研究所计算机科学国家重点实验室;江西省高性能计算技术重点实验室(江西师范大学);中国科学院大学 左正康 薛锦云 出版年：2015
- 关键词：泛型约束机制 APLA语言 代数结构 动态语义约束 安全性
- PAR平台中若干软件构件形式化验证技术研究
- 3
- 《计算机工程与科学》江西师范大学国家网络化支撑软件国际科技合作基地;江西省高性能计算技术重点实验室 胡启敏 薛锦云 游珍 程着 出版年：2018
- 关键词：软件构件 形式语义 定理证明 PAR平台 循环不变式
- 若干算法程序的形式化推导与生成技术研究 ( EI收录)
- 4
- 《计算机研究与发展》中国科学院软件研究所计算机科学重点实验室;江西师范大学瑶湖校区计算机信息工程学院;江西省高性能计算技术重点实验室 胡启敏 薛锦云 出版年：2008
- 关键词：PAR方法 形式化推导 算法程序 递推关系
- Hanoi塔非递归算法的形式化推导和正确性验证 ( EI收录)
- 5
- 《计算机研究与发展》江西省高性能计算技术重点实验室;江西师范大学计算机信息工程学院;中国科学院软件研究所计算机科学重点实验室 游珍 薛锦云 出版年：2008
- 关键词：HANOI塔 PAR方法 循环不变式 非递归算法 Dijkstra最弱前置谓词法
- 一种基于Apla-Java可重用部件库的并行(并发)程序开发方法
- 6
- 《微电子学与计算机》江西师范大学计算机信息工程学院;江西省高性能计算技术重点实验室 揭安全 薛锦云 出版年：2006
- 关键词：PAR方法 Apla—Java 可重用部件 并行 并发
- 泛型编程扩展及其JAVA实现
- 7
- 《计算机工程与科学》江西师范大学计算机信息工程学院;江西省高性能计算技术重点实验室 徐文胜 薛锦云 出版年：2007
- 关键词：泛型编程 面向对象语言 类型参数 约束机制
- 多核集群系统上的混合编程模型研究
- 8
- 《计算机与现代化》江西师范大学计算机信息工程学院;江西省高性能计算技术重点实验室 张军 万剑怡 出版年：2009
- 关键词：多核集群 混合编程模型 矩阵乘
- 并行遗传算法骨架的研究和实现
- 9
- 《计算机工程与设计》江西师范大学计算机信息工程学院;江西省高性能计算技术重点实验室 朱咸坤 万剑怡 出版年：2009
- 关键词：并行模型 结构骨架 并行遗传算法骨架 透明机制 加速比
- 软件模型检测新技术研究
- 10
- 《微计算机信息》江西省高性能计算技术重点实验室;江西师范大学计算机信息工程学院 化志章 吴传孙 揭安全 薛锦云 出版年：2007
- 关键词：软件模型检测 形式验证 SLAM
