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

Search Results

Help

Item hits: (Results 1-10 of 21)

Filters    
Items/Page:    Sort:
cupping and diamond embeddings: a unifying approach [会议论文]
7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, 27-Jun-02
Fang Chengling; Liu Jiang; Wu Guohua
  |  
 
基于CUDA渲染器的顺序独立透明现象的单遍高效绘制 [期刊论文]
软件学报, 2011-01-01, 卷号: 22, 期号: 8, 页码: 1927-1933
黄梦成; 刘芳; 刘学慧; 吴恩华
  |  
 
单遍数据读取的GPU上的多片元效果绘制 [期刊论文]
计算机学报, 2011-01-01, 卷号: 34, 期号: 3, 页码: 3473-3481
谢国富; 王文成
  |  
 
macro-like instrumentation grammar for boolean expressions [会议论文]
2010 International Conference on Computational Intelligence and Software Engineering, CiSE 2010, Wuhan, China, 40878
Zhang Zhenyu; Xu Zhongxing; Liu Zhifang; Gao Xiaopeng
  |  
 
optimization method for mixed constraints problem solving [会议论文]
2010 IEEE International Conference on Intelligent Computing and Intelligent Systems, ICIS 2010, Xiamen, China, 40845
Ji Xiaohui; Huang Zhuo
  |  
 
generating provably correct algorithmic programs from formal specifications [会议论文]
10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 37451
Shi Haihe; Xue Jinyun
  |  
 
freepipe: a programmable parallel rendering architecture for efficient multi-fragment effects [会议论文]
2010 ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games, I3D 2010, Washington, DC, United states, 40575
Liu Fang; Huang Meng-Cheng; Liu Xue-Hui; Wu En-Hua
  |  
 
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
  |  
 
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 memory model for static analysis of c programs [会议论文]
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, 40834
Xu Zhongxing; Kremenek Ted; Zhang Jian
  |  
 

1 2 3 next

 

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