中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
作者
左正康 [2]
Issued Date
Project
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-10 of 25)

Items/Page:    Sort:
Radl 形式规格说明相对正确性研究 [期刊论文]
Journal of Software, 2013-01-01, 卷号: 24, 期号: 4
Wang Changjing; Xue Jinyun

 
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

 
a problem reduction based approach to discrete optimization algorithm design [期刊论文]
COMPUTING, 2010-01-01, 卷号: 88, 期号: 40545, 页码: 31-54
Zheng Yujun; Xue Jinyun
  |  
 
problem reduction graph model for discrete optimization problems [会议论文]
3rd International Joint Conference on Computational Sciences and Optimization, CSO 2010: Theoretical Development and Engineering Practice, Huangshan, Anhui, China, 43979
Zheng Yujun; Xue Jinyun
  |  
 
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
  |  
 
formal derivation of a high-trustworthy generic algorithmic program for solving a class of path problems [会议论文]
3rd International Frontiers of Algorithmics Workshop, FAW 2009, Hefei, China, 37427
Wang Changjing; 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

 
a-team based supply chain management agent architecture [期刊论文]
INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2009-01-01, 卷号: 18, 期号: 6, 页码: 801-823
Zheng Yujun; Wang Jinquan; Xue Jinyun

 

1 2 3 next

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