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

Search Results

Help

Item hits: (Results 1-5 of 5)

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

 
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
  |  
 
几个门限群签名方案的弱点 [期刊论文]
软件学报, 2000-01-01, 卷号: 11, 期号: 10, 页码: 1326-1332
王贵林; 卿斯汉
  |  
 

1

 

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