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

Search Results

Help

Item hits: (Results 1-10 of 10)

Items/Page:    Sort:
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

 

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