中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
软件所图书馆 [29]
计算机科学国家重点... [21]
软件工程技术研究开发... [6]
信息安全国家重点实验... [4]
互联网软件技术实验室... [4]
更多...
作者
王健 [1]
Content Type
会议论文 [48]
期刊论文 [24]
Issued Date
Language
英语 [26]
中文 [9]
Source
lecture n... [10]
计算机学报 [4]
finite fie... [3]
proceeding... [2]
proceeding... [2]
更多...
Project
Indexed
EI [42]
SCI [8]
CNKI [4]
SCIENCEDIR... [3]
EI,SCI [2]
更多...
Spnsorship
acm siggra... [2]
acm sigpla... [2]
associatio... [2]
national l... [2]
acm sig em... [1]
更多...
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 72)
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submitted Time Ascending
Submitted Time Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Issue Date Ascending
Issue Date Descending
Symbolic termination analysis of solvable loops
[期刊论文]
JOURNAL OF SYMBOLIC COMPUTATION, 2013-01-01, 卷号: 50, 页码: 28-49
Xu, Ming
;
Li, Zhi-Bin
Systemic threats to hypervisor non-control data
[期刊论文]
IET INFORMATION SECURITY, 2013-01-01, 卷号: 7, 期号: 4, 页码: 349-354
Ding, Baozeng
;
He, Yeping
;
Wu, Yanjun
;
Yu, Jiageng
云计算核心技术研究综述
[期刊论文]
小型微型计算机系统, 2013-01-01, 卷号: 34, 期号: 11, 页码: 2417-2424
张建华
;
吴恒
;
张文博
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
storycube: supporting children's storytelling with a tangible tool
[期刊论文]
Journal of Supercomputing, 2013-01-01, 页码: 1-15
Wang Danli
;
He Liang
;
Dou Keqin
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
e-block: a tangible programming tool for children
[会议论文]
25th Annual ACM Symposium on User Interface Software and Technology, UIST 2012, Cambridge, MA, United states, October 7, 2012 - October 10, 2012
Wang Danli
;
Zhang Yang
;
Gu Tianyuan
;
He Liang
;
Wang Hongan
a novel security scheme for online banking based on virtual machine
[会议论文]
2012 IEEE 6th International Conference on Software Security and Reliability Companion, SERE-C 2012, Gaithersburg, MD, United states, June 20, 2012 - June 22, 2012
Guan Bei
;
Wu Yanjun
;
Wang Yongji
a flexible software framework for transportation maintenance scheduling
[期刊论文]
Journal of Software, 2012-01-01, 卷号: 7, 期号: 9, 页码: 2158-2161
Huang Yongjian
;
Su Ruidan
;
Yan Weiwei
;
Zhang Kunlin
;
Liu Yang
;
Xu Huaiyu
fast verification of memory consistency for chip multi-processor
[会议论文]
2011 7th International Conference on Computational Intelligence and Security, CIS 2011, Sanya, Hainan, China, December 3, 2011 - December 4, 2011
Zheng Lv
;
Chen Hao
;
Chen Feng
;
Yi Lv
1
2
3
4
5
6
7
8
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace