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

Search Results

Help

Item hits: (Results 1-8 of 8)

Filters    
Items/Page:    Sort:
MPFFT: An Auto-Tuning FFT Library for OpenCL GPUs [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2013-01-01, 卷号: 28, 期号: 1, 页码: 90-105
Li, Yan; Zhang, Yun-Quan; Liu, Yi-Qun; Long, Guo-Ping; Jia, Hai-Peng

 
Improving the security of arbitrated quantum signature against the forgery attack [期刊论文]
Quantum Information Processing, 2013-01-01, 卷号: 12, 期号: 8, 页码: 2655-2669
Zhang, Ke-Jia (1); Zhang, Wei-Wei (1); Li, Dan (1)

 
a quantum protocol for millionaire problem with bell states [期刊论文]
Quantum Information Processing, 2013-01-01, 页码: 1-9
Zhang Wei-Wei; Li Dan; Zhang Ke-Jia; Zuo Hui-Juan

 
spatial event detection and optimization [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2011-01-01, 卷号: 22, 期号: UPPL. 2, 页码: 147-156
Hu Jia-Feng; Jin Bei-Hong; Zhuo Wei; Chen Hai-Biao; Zhang Li-Feng

 
the loop formula based semantics of description logic programs [期刊论文]
Theoretical Computer Science, 2011-01-01, 卷号: 415, 页码: -
Yisong Wang; Jia-Huai You; Li Yan Yuan; Yi-Dong Shen; Mingyi Zhang

 
new definition of small message criterion and its application in transaction covert channel mitigating [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2009-01-01, 卷号: 20, 期号: 4, 页码: 985-996
Zeng Hai-Tao; Wang Yong-Ji; Zu Wei; Cai Jia-Yong; Ruan Li
  |  
 
characterizations of stable model semantics for logic programs with arbitrary constraint atoms [期刊论文]
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009-01-01, 卷号: 9, 期号: 4, 页码: 529-564
Shen Yi-Dong; You Jia-Huai; Yuan Li-Yan

 
enhancing global sls-resolution with loop cutting and tabling mechanisms [期刊论文]
Theoretical Computer Science, 2004-01-01, 卷号: 328, 期号: 3, 页码: 271-287
Shen Yidong; Jia-Huai You; Li-Yan Yuan
  |  
 

1

 

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