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

Search Results

Help

Item hits: (Results 41-50 of 110)

Filters        
Items/Page:    Sort:
formula-oriented compositional minimization in model checking [会议论文]
2010 19th IEEE Asian Test Symposium, ATS 2010, Shanghai, China, 40878
Chen Bowen; Shen Haihua; Zhang Wenhui
  |  
 
constraint solving techniques for software testing and analysis [会议论文]
32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, Cape Town, South africa, May 1, 201
Ma Feifei
  |  
 
auxiliary constructs for proving liveness in compassion discrete systems [会议论文]
8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, Singapore, Singapore, September
Long Teng; Zhang Wenhui
  |  
 
assume-guarantee reasoning with local specifications [会议论文]
12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, 40848
Lomuscio Alessio; Strulo Ben; Walker Nigel; Wu Peng
  |  
 
axiomatic temporal logic programs verification [会议论文]
2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25,
Yang Xiaoxiao; Duan Zhenhua
  |  
 
a toolkit for generating sentences from context-free grammars [会议论文]
8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, September
Xu Zhiwu; Zheng Lixiao; Chen Haiming
  |  
 
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 generic algorithmic program for solving a class extremum problems [会议论文]
10th ACIS Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2009, In conjunction with IWEA 2009 and WEACR 2009, Daegu, Korea, Republic of, 43978
Wang Chang-Jing; Xue Jin-Yun

 
an improved method for generating multiresolution animation models [会议论文]
2009 11th IEEE International Conference on Computer-Aided Design and Computer Graphics, CAD/Graphics 2009, Huangshan, China, August 19,
Zhang Shixue; Wu Enhua

 
particle importance based fluid simulation [会议论文]
2009 6th International Conference on Computer Graphics, Imaging and Visualization: New Advances and Trends, CGIV2009, Tianjin, China, August 11,
Yuanzhang Chang; Kai Bao; Youquan Liu; Jian Zhu; Enhua Wu

 

previous 1 2 3 4 5 6 7 8 9 10 11 next

 

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