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

Search Results

Help

Item hits: (Results 111-120 of 156)

Filters            
Items/Page:    Sort:
compositionality of fixpoint logic with chop [会议论文]
2nd International Colloquium on Theoretical Aspects of Computing, Hanoi, VIETNAM, OCT 17-21,
Zhan NJ; Wu JZ
  |  
 
multi-color difference schemes of helmholtz equation and its parallel fast solver over 3-d dodecahedron partitions [会议论文]
6th International Conference on Algorithms and Architectures for Parallel Processing, Melbourne, AUSTRALIA, OCT 02-03,
Sun JC
  |  
 
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
  |  
 
gcpm: a model for efficient call admission control in wireless cellular networks [会议论文]
3rd International Conference on Parallel and Distributed Processing and Applications, Nanjing, PEOPLES R CHINA, NOV 02-05,
Cong LL; Jin BH; Cao DL; Cao JN
  |  
 
a xml-based composition event approach as an integration and cooperation middleware [会议论文]
International Symposium on Trustworthy Global Computing, Edinburgh, SCOTLAND, APR 07-09,
Xu G; Ma JG; Huang T

 
symbolic model checking of finite precision timed automata [会议论文]
2nd International Colloquium on Theoretical Aspects of Computing, Hanoi, VIETNAM, OCT 17-21,
Yan RJ; Li GY; Tang ZS
  |  
 
scheduling design of controllers with fuzzy deadline [会议论文]
2nd International Conference on Fuzzy Systems and Knowledge Discovery, Changsha, PEOPLES R CHINA, AUG 27-29,
Jin H; Wang HG; Wang H; Wang DL
  |  
 
a task-type aware transaction scheduling algorithm in j2ee [会议论文]
OTM Confederated International Conference and Workshop, Agia Napa, CYPRUS, OCT 31-NOV
Ding XN; Zhang X; Jin BH; Huang T
  |  
 
an evolutionary algorithm to improve the nonlinearity of self-inverse s-boxes [会议论文]
7th International Conference on Information Security and Cryptology (ICISC 2004), Seoul, SOUTH KOREA, DEC 02-03,
Chen H; Feng DG
  |  
 
a reliable content-based routing protocol over structured peer-to-peer networks [会议论文]
On the Move Confederated International Workshop and Conference, Agia Napa, CYPRUS, OCT 25-29,
Wang JL; Jin BH; Wei J; Li J

 

previous 3 4 5 6 7 8 9 10 11 12 13 14 15 16 next

 

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