中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 2009年期刊/会议论文

view all items

(Results 1-20 of 55)
Help
Items/Page:    Sort:
中国科学院软件研究所图书文献资源分布 [其他]
2009-06-06
软件所图书馆
  |  View/Download:369/40
 
logic petri nets and equivalency [期刊论文]
Information Technology Journal, 2009, 卷号: 8, 期号: 1, 页码: 95-100
Du Y.Y.; Guo B.Q.
View/Download:3/0
 
an approximation algorithm to the k-steiner forest problem [期刊论文]
THEORETICAL COMPUTER SCIENCE, 2009, 卷号: 410, 期号: 11, 页码: 1093-1098
Zhang Peng; Xia Mingji
View/Download:2/0
 
基于PCI总线数据采集卡的实时测控技术 [期刊论文]
生物医学工程研究, 2009, 期号: 1, 页码: 56-59
孙业; 张鹏; 张哲; 梁敏
View/Download:3/0
 
on detecting regular predicates in distributed systems [会议论文]
7th International Symposium on Automated Technology for Verification and Analysis, Macao, PEOPLES R CHINA, OCT 13-16,
Huang Hongtao
View/Download:2/0
 
an algebra of quantum processes [期刊论文]
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2009, 卷号: 10, 期号: 3, 页码: -
Ying Mingsheng; Feng Yuan; Duan Runyao; Ji Zhengfeng
  |  View/Download:4/0
 
action reasoning independent of designer [期刊论文]
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009, 卷号: 46, 期号: 11, 页码: 1917-1924
Zhou Shengming; Wang Ju; Jiang Yuncheng
View/Download:2/0
 
cryptanalysis and improvement on a threshold proxy signature scheme [期刊论文]
JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2009, 卷号: 25, 期号: 2, 页码: 619-631
Tan Zuo-Wen; Liu Zhuo-Jun
View/Download:2/0
 
a rate adaptive multicast mac protocol based on network coding [期刊论文]
Hunan Daxue Xuebao/Journal of Hunan University Natural Sciences, 2009, 卷号: 36, 期号: 11, 页码: 78-82
Yang Lin; Zheng Gang
View/Download:2/0
 
mean shift tracking with kernel co-occurrence matrices [会议论文]
1st Asia Pacific Conference on Postgraduate Research in Microelectronics and Electronics, PrimeAsia 2009, Shanghai, China, 40848
Chen Jianjun; Zhang Suofei; Wu Zhenyang; An Guocheng
View/Download:2/0
 
modified majority voter for triple modular redundancy system [期刊论文]
Harbin Gongye Daxue Xuebao/Journal of Harbin Institute of Technology, 2009, 卷号: 41, 期号: SUPPL. 1, 页码: 27-30
Zhang Yi-Nan; Guo Ping
View/Download:1/0
 
correction for spatial scaling bias of bivariate lai with a general spatialization method [会议论文]
MIPPR 2009 - Remote Sensing and GIS Data Processing and Other Applications: 6th International Symposium on Multispectral Image Processing and Pattern Recognition, Yichang, China, 40846
Ma Ling-Ling; Li Chuan-Rong; Tang Ling-Li; Bao Kai; Wang Xin-Hong
View/Download:5/0
 
roles and effects of bbs and personal websites in academic information exchanges in china [会议论文]
4th International Conference on Cooperation and Promotion of Information Resources in Science and Technology, COINFO 2009, Beijing, China, 40849
Song Qin; Zhao Fukuan; Zheng Yujun
  |  View/Download:7/0
 
a parallel shortest path algorithm based on graph-partitioning and iterative correcting [期刊论文]
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2009, 卷号: 24, 期号: 5, 页码: 351-360
Tang Yuxin; Zhang Yunquan; Chen Hu
View/Download:3/0
 
liveness analysis of parallel programs petri net models [会议论文]
2009 International Conference on Information Engineering and Computer Science, ICIECS 2009, Wuhan, China, 40878
Liu Wei; Du YuYue; Cui HuanQing; Yan Chun
View/Download:1/0
 
rrdd: receiver-oriented robust data delivery in mobile sensor networks [会议论文]
2009 IEEE 6th International Conference on Mobile Adhoc and Sensor Systems, MASS 09, Macau, China, 40828
Fang Weiwei; Zhao Xin; Chu Tianshu; An Yuan; Liu Yi; Qian Depei
View/Download:1/0
 
verifying anonymous credential systems in applied pi calculus [会议论文]
8th International Conference on Cryptology and Network Security, CANS 2009, Kanazawa, Japan, 40878
Li Xiangxi; Zhang Yu; Deng Yuxin
View/Download:2/0
 
research of chinese text classification methods based on semantic vector and semantic similarity [会议论文]
2009 International Forum on Computer Science-Technology and Applications, IFCSTA 2009, Chongqing, China, 40879
Song Xin; Huang Jia; Zhou Jing-Min; Chen Xi
View/Download:2/0
 
dealing with driver failures in the storage stack [会议论文]
2009 4th Latin-American Symposium on Dependable Computing, LADC 2009, Joao Pessoa, Brazil, September
Herder Jorrit N.; Van Moolenbroek David C.; Appuswamy Raja; Wu Bingzheng; Gras Ben; Tanenbaum Andrew S.
View/Download:2/0
 
a sentence generation algorithm for testing grammars [会议论文]
IEEE 33rd International Computer Software and Applications Conference, Seattle, WA, JUL 20-24,
Zheng Lixiao; Wu Duanyi
View/Download:4/0
 

 

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