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

Search Results

Help

Item hits: (Results 31-40 of 3244)

Filters    
Items/Page:    Sort:
基于偏移四叉树投票的大尺寸点状符号多尺度无压盖可视化 [期刊论文]
测绘学报, 2016-01-01, 卷号: 45, 期号: 8, 页码: 983-991
张翔; 王少东; 王玉霞
  |  
 
Complete Proof Systems for Amortised Probabilistic Bisimulations [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016-01-01, 卷号: 31, 期号: 2, 页码: 300-316
Xu, LL; Lin, HM

 
Deciding probabilistic automata weak bisimulation: theory and practice [期刊论文]
FORMAL ASPECTS OF COMPUTING, 2016-01-01, 卷号: 28, 期号: 1, 页码: 109-143
Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A
  |  
 
Algorithm development for extreme-scale computing [期刊论文]
NATIONAL SCIENCE REVIEW, 2016-01-01, 卷号: 3, 期号: 1, 页码: 26-27
Sun, JC; Yang, C; Cai, XC
  |  
 
623 Tflop/s HPCG run on Tianhe-2: Leveraging millions of hybrid cores [期刊论文]
INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS, 2016-01-01, 卷号: 30, 期号: 1, 页码: 39-54
Liu, YQ; Yang, C; Liu, FF; Zhang, XY; Lu, YT; Du, YF; Yang, CQ; Xie, M; Liao, XK

 
Detecting consistency of overlapping quantum marginals by separability [期刊论文]
PHYSICAL REVIEW A, 2016-01-01, 卷号: 93, 期号: 3
Chen, JX; Ji, ZF; Yu, NK; Zeng, B

 
Crawling Hidden Objects with kNN Queries [期刊论文]
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2016-01-01, 卷号: 28, 期号: 4, 页码: 912-924
Yan, H; Gong, ZG; Zhang, N; Huang, T; Zhong, H; Wei, J
  |  
 
An Approach to Checking Consistency between UML Class Model and Its Java Implementation [期刊论文]
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016-01-01, 卷号: 42, 期号: 4, 页码: 322-344
Chavez, HM; Shen, WW; France, RB; Mechling, BA; Li, GY
  |  
 
A survey on position-based routing for vehicular ad hoc networks [期刊论文]
TELECOMMUNICATION SYSTEMS, 2016-01-01, 卷号: 62, 期号: 1, 页码: 15-30
Liu, JQ; Wan, JF; Wang, QR; Deng, P; Zhou, KL; Qiao, YP
  |  
 
Enabling Smart Transportation Systems: A Parallel Spatio-Temporal Database Approach [期刊论文]
IEEE TRANSACTIONS ON COMPUTERS, 2016-01-01, 卷号: 65, 期号: 5, 页码: 1377-1391
Ding, ZM; Yang, B; Chi, YY; Guo, LM
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 12 13 next

 

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