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

Search Results

 Help

Item hits: (Results 11-20 of 25)

Items/Page:    Sort:
dacoop: accelerating data-iterative applications on map/reduce cluster [会议论文]
2011 12th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2011, Gwangju, Korea, Republic of, October 20, 2011 - October 22, 2011
Liang Yi; Li Guangrui; Wang Lei; Hu Yanpeng

 
web service schema matching based on invocation instance duplicates [会议论文]
2011 7th International Conference on Next Generation Web Services Practices, NWeSP 2011, Salamanca, Spain, October 19, 2011 - October 21, 2011
Wang Ke; Ou Wei-Jie; Zeng Cheng; Li De-Yi; Peng Zhi-Yong

 
extending logic programs with description logic expressions for the semantic web [会议论文]
10th International Semantic Web Conference, ISWC 2011, Bonn, Germany, October 23
Shen Yi-Dong; Wang Kewen

 
openblas: a high performance blas library on loongson 3a cpu [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2011-01-01, 卷号: 22, 期号: UPPL. 2, 页码: 208-216
Zhang Xian-Yi; Wang Qian; Zhang Yun-Quan

 
a user model based on mobile environment [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2011-01-01, 卷号: 22, 期号: UPPL. 2, 页码: 120-128
Du Yi; Tian Feng; Dai Guo-Zhong; Wang Feng; Wang Hong-An

 
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

 
depsim: a dependency-based malware similarity comparison system [会议论文]
6th China International Conference on Information Security and Cryptology, Inscrypt 2010, Shanghai, China, 20-Oct
Yi Yang; Lingyun Ying; Rui Wang; Purui Su; Dengguo Feng
  |  
 
model checking a secure hypervisor [会议论文]
, Wuhan
Sunlv Wang; Jian Liu; Qiuping Yi; Xian Zhang
  |  
 
loop formulas for description logic programs [会议论文]
26th International Conference on Logic Programming, Edinburgh, SCOTLAND, JUL 16-19,
Wang Yisong; You Jia-Huai; Yuan Li Yan; Shen Yi-Dong
  |  
 
fast complete memory consistency verification [会议论文]
2008 IEEE International Conference on Mechatronics and Automation, ICMA 2008, Takamatsu, Japan, August 5,
Yunji Chen; Yi Lv; Weiwu Hu; Tianshi Chen; Haihua Shen; Pengyu Wang; Hong Pan

 

previous 1 2 3 next

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