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

Search Results

Help

Item hits: (Results 1-10 of 15)

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

 
a hybrid system approach to the analysis and design of power grid dynamic performance [期刊论文]
Proceedings of the IEEE, 2012-01-01, 卷号: 100, 期号: 1, 页码: 225-239
Susuki Yoshihiko; Koo T. John; Ebina Hiroaki; Yamazaki Takuya; Ochi Takashi; Uemura Takuji; Hikihara Takashi

 
the lu-lc conjecture is false [期刊论文]
QUANTUM INFORMATION & COMPUTATION, 2010-01-01, 卷号: 10, 期号: 40545, 页码: 97-108
Ji Zhengfeng; Chen Jianxin; Wei Zhaohui; Ying Mingsheng
  |  
 
assume-guarantee reasoning with local specifications [会议论文]
12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, 40848
Lomuscio Alessio; Strulo Ben; Walker Nigel; Wu Peng
  |  
 
stable and efficient miscible liquid-liquid interactions [会议论文]
ACM Symposium on Virtual Reality Software and Technology, Newport Beach, CA, NOV 05-07,
Zhu Hongbin; Bao Kai; Wu Enhua; Liu Xuehui
  |  
 
minimizing response time implication in dvs scheduling for low power embedded systems [会议论文]
4th International Conference on Innovations in Information Technology, Dubai, U ARAB EMIRATES, NOV 18-20,
Min-Allah Nasro; Kazmi Asad-Raza; Ali Ishtiaq; Xing Jian-Sheng; Wang Yong-Ji
  |  
 
基于D稳定域和ITAE准则的主动队列管理算法 [期刊论文]
软件学报, 2007-01-01, 卷号: 18, 期号: 12, 页码: 3092-3103
王秀利; 王永吉; 周辉; 蔡开元
  |  
 
optimal design of aqm routers with d-stable regions based on itae performance [会议论文]
1st International Conference on Communications and Electronics (ICCE 2006), Hanoi, VIETNAM, OCT 10-11,
Wang Xiuli; Wang Yongji; Zhou Hui
  |  
 
optimal design of aqm routers with d-stable regions based on itae performance [会议论文]
1st International Conference on Communications and Electronics (ICCE 2006), Hanoi, VIETNAM, OCT 10-11,
Wang Xiuli; Wang Yongji; Zhou Hui
  |  
 
the interaction between c-28 (t-d) and x (x=h and f) [期刊论文]
Journal of Molecular Structure-theochem, 2006-01-01, 卷号: 760, 期号: 40181, 页码: 53-57
Zhao Xianfeng; Lu P; Hao C; Li SM; Qiu HS
  |  
 

1 2 next

 

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