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

Search Results

Help

Item hits: (Results 41-50 of 62)

Items/Page:    Sort:
an implementation of parallel eigenvalue computation using dual-level hybrid parallelism [会议论文]
7th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2007, Hangzhou, China, 37418
Zhao Yonghua; Chi Xuebin; Cheng Qiang
  |  
 
an algebraic approach for managing inconsistencies in software processes [会议论文]
International Conference on Software Process, Minneapolis, MN, MAY 19-20,
Yang Qiusong; Li Mingshu; Wang Qing; Yang Guowei; Zhai Jian; Li Juan; Hou Lishan; Yang Yun
  |  
 
weakly distributive domains [会议论文]
8th International Conference on Typed Lambda Calculi and Applications, Paris, FRANCE, JUN 26-28,
Jiang Ying; Zhang Guo-Qiang
  |  
 
generating polynomial invariants with discoverer and qepcad [会议论文]
Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen, Macao, PEOPLES R CHINA, SEP 24-25,
Chen Yinghua; Xia Bican; Yang Lu; Zhan Naijun
  |  
 
discovering non-linear ranking functions by solving semi-algebraic systems [会议论文]
4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), Macao, PEOPLES R CHINA, SEP 26-28,
Chen Yinghua; Xia Bican; Yang Lu; Zhan Naijun; Zhou Chaochen
  |  
 
the algebraic normal form, linear complexity and k-error linear complexity of single-cycle t-function [会议论文]
4th International Conference on Sequences and Their Applications (SETA 2006), Beijing, PEOPLES R CHINA, SEP 24-28,
Zhang Wenying; Wu Chuan-Kun
  |  
 
finding relations among linear constraints [会议论文]
8th International Conference on Artificial Intelligence and Symbolic Computation, Beijing, PEOPLES R CHINA, SEP 20-22,
Yan Jun; Zhang Jian; Xu Zhongxing
  |  
 
mining quantitative associations in large database [会议论文]
7th Asia-Pacific Web Conference, Shanghai, PEOPLES R CHINA, MAR 29-APR
Hui CY; Wang YJ; Zhang BY; Yang Q; Wang Q; Zhou JH; He R; Yan Y
  |  
 
compositionality of fixpoint logic with chop [会议论文]
2nd International Colloquium on Theoretical Aspects of Computing, Hanoi, VIETNAM, OCT 17-21,
Zhan NJ; Wu JZ
  |  
 
deriving non-determinism from conjunction and disjunction [会议论文]
25th International Conference on Formal Techniques for Networked and Distributed Systems, Taipei, TAIWAN, OCT 02-05,
Zhan NJ; Majster-Cederbaum M
  |  
 

previous 1 2 3 4 5 6 7 next

 

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