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

Search Results

Help

Item hits: (Results 1-10 of 60)

Filters    
Items/Page:    Sort:
a dynamic fault localization technique with noise reduction for java programs [会议论文]
11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, 13-Jul-02
Xu Jian; Chan W.K.; Zhang Zhenyu; Tse T.H.; Li Shanping
  |  
 
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
  |  
 
characterizations of locally testable linear- and affine-invariant families [会议论文]
17th Annual International Computing and Combinatorics Conference, COCOON 2011, Dallas, TX, United states, August 14,
Li Angsheng; Pan Yicheng
  |  
 
simple power analysis attacks using chosen message against ecc hardware implementations [会议论文]
World Congress on Internet Security, WorldCIS-2011, London, United kingdom, 2-Feb
Li Huiyun; Wu Keke; Xu Guoqing; Yuan Hai; Luo Peng
  |  
 
an inductive approach to strand spaces [期刊论文]
Formal Aspects of Computing, 2011-01-01, 期号: 1, 页码: 1-37
Li Yongjian; Pang Jun
  |  
 
the complexity and approximability of minimum contamination problems [会议论文]
Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo Japan, 2011
Li Angsheng; Tang Linqing
  |  
 
a novel formalization of symbolic trajectory evaluation semantics in isabelle/hol [期刊论文]
Theoretical Computer Science, 2011-01-01, 卷号: 412, 期号: 25, 页码: 2746-2765
Li Yongjian; Hung William N.N.; Song Xiaoyu
  |  
 
theory and applications of models of computation (tamc 2008) [期刊论文]
Theoretical Computer Science, 2011-01-01, 卷号: 412, 期号: 18, 页码: 1645-
Agrawal Manindra; Li Angsheng
  |  
 
optimal error estimates in jacobi-weighted sobolev spaces for polynomial approximations on the triangle [期刊论文]
MATHEMATICS OF COMPUTATION, 2010-01-01, 卷号: 79, 期号: 271, 页码: 1621-1646
Li Huiyuan; Shen Jie
  |  
 
discrete fourier analysis on fundamental domain and simplex of a (d) lattice in d-variables [期刊论文]
JOURNAL OF FOURIER ANALYSIS AND APPLICATIONS, 2010-01-01, 卷号: 16, 期号: 3, 页码: 383-433
Li Huiyuan; Xu Yuan
  |  
 

1 2 3 4 5 6 next

 

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