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

Search Results

Help

Item hits: (Results 1-9 of 9)

Items/Page:    Sort:
Practical-time related-key attack on Hummingbird-2 [期刊论文]
IET INFORMATION SECURITY, 2015-01-01, 卷号: 9, 期号: 6, 页码: 321-327
Shi, ZQ; Zhang, B; Feng, DG
  |  
 
an assume/guarantee based compositional calculus for hybrid csp [会议论文]
9th Annual Conference on Theory and Applications of Models of Computation, TAMC 2012, Beijing, China, May 16, 2012 - May 21, 2012
Wang Shuling; Zhan Naijun; Guelev Dimitar

 
detecting and correcting the index of dae by the combinatorial relaxation algorithm [会议论文]
2011 10th International Symposium on Distributed Computing and Applications to Business, Engineering and Science, DCABES 2011, Wuxi, Jiangsu, China, October 14
Yan Yongxin; Zhang Xiaolei; Wu Xuesong; Cao Jianwen

 
a new spectral method on triangles [会议论文]
8th International Conference on Spectral and High Order Methods, ICOSAHOM'09, Trondheim, Norway, 22-Jun-02
Li Youyun; Wang Li-Lian; Li Huiyuan; Ma Heping
  |  
 
updating preconditioner for iterative method in time domain simulation of power systems [期刊论文]
Science China Technological Sciences, 2011-01-01, 卷号: 54, 期号: 4, 页码: 1024-1034
Wang Ke; Xue Wei; Lin Haixiang; Xu Shiming; Zheng Weimin
  |  
 
Modelica软件中微分代数方程指标约简算法分析 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 130-133,140
阳海军
  |  
 
静电磁场不规则区域问题的小波插值Galerkin算法 [期刊论文]
计算物理, 2005-01-01, 卷号: 22, 期号: 6, 页码: 539-548
侯霞; 范植华; 顾永耕; 杨鸿波
  |  
 
Reducing index method for differential-algebraic equations with constraint singularities [期刊论文]
Applied Mathematics and Computation, 2004-01-01, 卷号: 153, 期号: 1, 页码: 205-214
M. M. Hosseini
  |  
 
Computing the Structural Index [期刊论文]
SIAM Journal on Matrix Analysis and Applications, 1986-01-01, 卷号: 7, 期号: 4, 页码: 594-603
I. S. Duff; C. W. Gear
  |  
 

1

 

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