中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 18)

Items/Page:    Sort:
基于PAR的排序算法自动生成研究 [期刊论文]
软件学报, 2012-01-01, 卷号: 23, 期号: 9, 页码: 2248-2260
石海鹤; 薛锦云

 
formal derivation of two algorithms involving sequences [会议论文]
2011 10th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2011, Sanya, Hainan Island, China, May 16, 20
Shi Haihe; Xue Jinyun

 
a generative approach to searching algorithmic programs development [会议论文]
5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, Shaanxi, China, August 29,
Shi Haihe; Xue Jinyun

 
基于PAR的置换和查找类算法的自动生成研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2010-01-01
石海鹤
  |  
 
generating provably correct algorithmic programs from formal specifications [会议论文]
10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 37451
Shi Haihe; Xue Jinyun
  |  
 
an algebraic approach to mechanical tabu search algorithm generation [会议论文]
2010 1st IEEE International Conference on Progress in Informatics and Computing, PIC 2010, Shanghai, China, 40878
Zheng Yujun; Shi Haihe; Xue Jinyun
  |  
 
a category theoretic approach to search algorithms: towards a unified implementation for branch-and-bound and backtracking [会议论文]
4th International Conference on Computer Science and Education, Nanning, PEOPLES R CHINA, JUL 25-28,
Zheng Yujun; Xue Jinyun; Shi Haihe

 
基于PAR的算法形式化开发 [期刊论文]
计算机学报, 2009-01-01, 卷号: 32, 期号: 5, 页码: 982-991
石海鹤; 薛锦云
  |  
 
generating algorithms plus loop invariants by formal derivation [会议论文]
7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16,
Shi Haihe; Du Dawei; Xue Jinyun
  |  
 
a mechanical approach for deriving algorithmic programs [会议论文]
7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16,
Shi Haihe; Xue Jinyun; Du Dawei
  |  
 

1 2 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace