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

Search Results

Help

Item hits: (Results 1-10 of 133)

Items/Page:    Sort:
Deciding determinism of unary languages [期刊论文]
INFORMATION AND COMPUTATION, 2015-01-01, 卷号: 245, 页码: 181-196
Lu, P; Peng, FF; Chen, HM; Zheng, LX
  |  
 
一种基于过滤器的遗留系统安全单点登录方案 [期刊论文]
计算机应用与软件, 2014-01-01, 期号: 10, 页码: 300-304,313
李芳芳; 王帅; 许舒人; 陈益洲

 
SRLtoRadl生成系统及其范畴论语义 [期刊论文]
电子学报, 2014-01-01, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶; 薛锦云; 左正康

 
确定型语言的相关研究综述 [期刊论文]
集成技术, 2013-01-01, 期号: 6, 页码: 65-70
陈海明; 陆平

 
中国机器翻译研究的机遇与挑战——第八届全国机器翻译研讨会总结与展望 [期刊论文]
中文信息学报, 2013-01-01, 卷号: 27, 期号: 4, 页码: 1-8
杜金华; 张萌; 宗成庆; 孙乐

 
基于XACML的可验证云访问控制方案 [期刊论文]
计算机工程, 2013-01-01, 卷号: 39, 期号: 10, 页码: 42-48,56
司晓琳; 王鹏翩; 张立武

 
a peta-scalable cpu-gpu algorithm for global atmospheric simulations [会议论文]
18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2013, Shenzhen, China, February 23, 2013 - February 27, 2013
Yang Chao; Xue Wei; Fu Haohuan; Gan Lin; Li Linfeng; Xu Yangtong; Lu Yutong; Sun Jiachang; Yang Guangwen; Zheng Weimin

 
debug concurrent programs with visualization and inference of event structure [会议论文]
19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4, 2012 - December 7, 2012
Wu Xiaoquan; Wei Jun; Wang Xu

 
a fast and high throughput sql query system for big data [会议论文]
13th International Conference on Web Information Systems Engineering, WISE 2012, Paphos, Cyprus, November 28, 2012 - November 30, 2012
Zhu Feng; Liu Jie; Xu Lijie

 
decomposition of automata pdl and its extension [会议论文]
2012 International MultiConference of Engineers and Computer Scientists, IMECS 2012, Kowloon, Hong kong, March 14, 2012 - March 16, 2012
Liu Xinxin; Xue Bingtian

 

1 2 3 4 5 6 7 8 9 10 next

 

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