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

Search Results

Help

Item hits: (Results 1-5 of 5)

Filters    
Items/Page:    Sort:
gpuroofline: a model for guiding performance optimizations on gpus [会议论文]
18th International Conference on Parallel Processing, Euro-Par 2012, Rhodes Island, Greece, August 27, 2012 - August 31, 2012
Jia Haipeng; Zhang Yunquan; Long Guoping; Xu Jianliang; Yan Shengen; Li Yan

 
crsd: application specific auto-tuning of spmv for diagonal sparse matrices [会议论文]
17th International Conference on Parallel Processing, Euro-Par 2011, Bordeaux, France, August 29,
Sun Xiangzheng; Zhang Yunquan; Wang Ting; Long Guoping; Zhang Xianyi; Li Yan
  |  
 
logic programs with abstract constraints: representaton, disjunction and complexities [会议论文]
9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007, Tempe, AZ, United states, 43966
You Jia-Huai; Yuan Li Yan; Liu Guohua; Shen Yi-Dong
  |  
 
improvements for the symbolic verification of timed automata [会议论文]
27th International Conference on Formal Techniques for Networked and Distributed Systems, Tallinn, ESTONIA, JUN 27-29,
Yan Rongjie; Li Guangyuan; Zhang Wenliang; Peng Yunquan
  |  
 
symbolic model checking of finite precision timed automata [会议论文]
2nd International Colloquium on Theoretical Aspects of Computing, Hanoi, VIETNAM, OCT 17-21,
Yan RJ; Li GY; Tang ZS
  |  
 

1

 

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