Search Results

Item hits: (Results 1-10 of 133)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectIssue Date AscendingIssue Date DescendingTitle AscendingTitle DescendingAuthor AscendingAuthor DescendingSubmitted Time AscendingSubmitted Time Descending
	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