|国家科技期刊平台
| 注册
首页|期刊导航|计算机应用研究|基于CTL的循环优化变换描述方法

基于CTL的循环优化变换描述方法

夏勇 薛云志 陶秋铭 赵琛

计算机应用研究2007，Vol.24Issue(7)：49-51,60,4.
✕
计算机应用研究2007，Vol.24Issue(7)：49-51,60,4.

基于CTL的循环优化变换描述方法

Loop Optimization Transformation Using CTL Specifications

夏勇 1薛云志 2陶秋铭 1赵琛2

作者信息

  • 1. 中国科学院,软件研究所,互联网软件技术实验室,北京,100080
  • 2. 中国科学院,研究生院,北京,100049
  • 折叠

摘要

关键词

循环优化变换/分支时序逻辑/依赖分析

分类

信息技术与安全科学

引用本文复制引用

夏勇,薛云志,陶秋铭,赵琛..基于CTL的循环优化变换描述方法[J].计算机应用研究,2007,24(7):49-51,60,4.

基金项目

国家科技攻关计划资助项目(2005BA113A01,2005BA113A02) （2005BA113A01,2005BA113A02）

计算机应用研究

OA北大核心CSCDCSTPCD

1001-3695

访问量0
|
下载量0
段落导航相关论文