高级检索   注册
ISCAS OpenIR  > 计算机科学国家重点实验室  > 会议论文

浏览所有条目

按标题快速跳转
请选择题名首字母 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
输入前几个字母(或汉字)   
按发表日期快速跳转
日期跳转:
 
211条检索结果中的1-20条条目
条数/页:   其他排序方式:
题名作者发表日期▼ 全文
program analysis: from qualitative analysis to quantitative analysis (nier track) [会议论文]Liu Sheng; Zhang Jian2011
searching for doubly self-orthogonal latin squares [会议论文]Lu Runming; Liu Sheng; Zhang Jian2011
simple power analysis attacks using chosen message against ecc hardware implementations [会议论文]Li Huiyun; Wu Keke; Xu Guoqing; Yuan Hai; Luo Peng2011
sketch-based design for green geometry and image deformation [会议论文]Sheng Bin; Meng Weiliang; Sun Hanqiu; Wu Enhua2011
symbolic decision procedure for termination of linear programs [会议论文]Xia Bican; Yang Lu; Zhan Naijun; Zhang Zhihai2011
the complexity and approximability of minimum contamination problems [会议论文]Li Angsheng; Tang Linqing2011
tuple density: a new metric for combinatorial test suites (nier track) [会议论文]Chen Baiqiang; Zhang Jian2011
a dynamic fault localization technique with noise reduction for java programs [会议论文]Xu Jian; Chan W.K.; Zhang Zhenyu; Tse T.H.; Li Shanping2011
a new spectral method on triangles [会议论文]Li Youyun; Wang Li-Lian; Li Huiyuan; Ma Heping2011
assisting the design of xml schema: diagnosing nondeterministic content models [会议论文]Chen Haiming; Lu Ping2011
characterizations of locally testable linear- and affine-invariant families [会议论文]Li Angsheng; Pan Yicheng2011
combining strategies for xml retrieval [会议论文]Gao Ning; Deng Zhi-Hong; Jiang Jia-Jian; Lv Sheng-Long; Yu Hang2011
compiling answer set programs into event-driven action rules [会议论文]Zhou Neng-Fa; Shen Yi-Dong; You Jia-Huai2011
cupping and diamond embeddings: a unifying approach [会议论文]Fang Chengling; Liu Jiang; Wu Guohua2011
determinacy and rewriting of conjunctive queries over unary database schemas [会议论文]Zheng Lixiao; Chen Haiming2011
dichotomy for holant* problems of boolean domain [会议论文]Cai Jin-Yi; Lu Pinyan; Xia Mingji2011
high viscosity fluid simulation using particle-based method [会议论文]Chang Yuanzhang; Bao Kai; Zhu Jian; Wu Enhua2011
local search with edge weighting and configuration checking heuristics for minimum vertex cover [会议论文]Sattar Abdul; Su Kaile; Cai Shaowei2011
characterizing failure-causing parameter interactions by adaptive testing [会议论文]Zhang Zhiqiang; Zhang Jian2011
probabilistic model checking on propositional projection temporal logic [会议论文]Yang Xiaoxiao2011

 

Valid XHTML 1.0! 版权所有 © 2007-2012  中国科学院软件研究所  -反馈
系统开发与技术支持:中国科学院国家科学图书馆兰州分馆(信息系统部)
本系统基于 MIT 和 Hewlett-Packard 的 DSpace 软件开发