中国科学院软件研究所机构知识库
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
软件所图书馆 [7]
互联网软件技术实验室... [2]
信息安全国家重点实验... [1]
作者
王丹丹 [1]
Content Type
会议论文 [7]
期刊论文 [3]
Issued Date
Language
英语 [7]
Source
acm transa... [1]
informatio... [1]
informatio... [1]
proceeding... [1]
proceeding... [1]
更多...
Project
Indexed
EI [7]
SCI [2]
ACM [1]
SCIENCEDIR... [1]
其他 [1]
Spnsorship
ieee comp ... [1]
institute ... [1]
microsoft ... [1]
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 10)
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
A nearly optimal upper bound for the self-stabilization time in Herman's algorithm
[会议论文]
25th International Conference on Concurrency Theory, CONCUR 2014, Rome, Italy, September 2, 2014 - September 5, 2014
Feng, Yuan (1)
;
Zhang, Lijun (3)
When equivalence and bisimulation join forces in probabilistic automata
[会议论文]
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Feng, Yuan (1)
;
Zhang, Lijun (3)
A tighter bound for the self-stabilization time in Herman's algorithm
[期刊论文]
Information Processing Letters, 2013-01-01, 卷号: 113, 期号: 13, 页码: 486-488
Feng, Yuan (1)
;
Zhang, Lijun (2)
syncchecker: detecting synchronization errors between mpi applications and libraries
[会议论文]
2012 IEEE 26th International Parallel and Distributed Processing Symposium, IPDPS 2012, Shanghai, China, May 21, 2012 - May 25, 2012
Chen Zhezhe
;
Li Xinyu
;
Chen Jau-Yuan
;
Zhong Hua
;
Qin Feng
"is it really a defect?": an empirical study on measuring and improving the process of software defect reporting
[会议论文]
2011 5th International Symposium on Empirical Software Engineering and Measurement, ESEM 2011, Banff, AB, Canada, September
Wang, DanDan(王丹丹)
;
Wang Qing
;
Yang Ye
;
Li Qi
;
Wang Haitao
;
Yuan Feng
a case study on usage of a software process management tool in china
[会议论文]
17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, 40850
Jing Du
;
Ye Yang
;
Zhongpeng Lin
;
Qing Wang
;
Mingshu Li
;
Feng Yuan
  |  
an algebra of quantum processes
[期刊论文]
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2009-01-01, 卷号: 10, 期号: 3, 页码: -
Ying Mingsheng
;
Feng Yuan
;
Duan Runyao
;
Ji Zhengfeng
  |  
sens-u: remote human in loop health-monitoring system at home
[会议论文]
2008 Pacific-Asia Workshop on Computational Intelligence and Industrial Application, PACIIA 2008, Wuhan, China, 40878
Yuan An
;
Yan Liu
;
Ma Cai-Wen
;
Sun Li-Min
;
Xiao Zhi-Feng
  |  
probabilistic bisimulations for quantum processes
[期刊论文]
INFORMATION AND COMPUTATION, 2007-01-01, 卷号: 205, 期号: 11, 页码: 1608-1639
Feng Yuan
;
Duan Runyao
;
Ji Zhengfeng
;
Ying Mingsheng
  |  
mining software repositories to understand the performance of individual developers
[会议论文]
31st Annual International Computer Software and Applications Conference, Beijing, PEOPLES R CHINA, JUL 23-27,
Shen Zhang
;
Wang Yongji
;
Feng Yuan
;
Li Ruan
  |  
1
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace