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

Search Results

Help

Item hits: (Results 41-50 of 72)

Items/Page:    Sort:
extending the boundary of spreadsheet programming: lessons learned from chinese governmental projects [会议论文]
ICSE Workshop on Software Engineering Foundations for End User Programming, Vancouver, CANADA, 43974
Yu Xingliang; Li Jing; Zhong Hua
  |  
 
performance evaluation of multithreaded sparse matrix-vector multiplication using openmp [会议论文]
11th IEEE International Conference on High Performance Computing and Communications, Seoul, SOUTH KOREA, JUN 25-27,
Liu Shengfei; Zhang Yunquan; Sun Xiangzheng; Qiu RongRong

 
bounded model checking of actl formulae [会议论文]
3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31,
Chen Wei; Zhang Wenhui

 
multi-layer depth peeling via fragment sort [会议论文]
11th International Conference on Computer-Aided Design and Computer Graphics, Yellow Mountain City, PEOPLES R CHINA, AUG 19-21,
Liu Baoquan; Wei Li-Yi; Xu Ying-Qing; Wu Enhua

 
action reasoning independent of designer [期刊论文]
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009-01-01, 卷号: 46, 期号: 11, 页码: 1917-1924
Zhou Shengming; Wang Ju; Jiang Yuncheng

 
automated phase-ordering of loop optimizations based on polyhedron model [会议论文]
10th IEEE International Conference on High Performance Computing and Communications, Dalian, PEOPLES R CHINA, SEP 25-27,
Xue Yunzhi; Zhao Chen
  |  
 
efficient concurrent zero knowledge arguments for np in the bare public-key model [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2008-01-01, 卷号: 19, 期号: 2, 页码: 468-478
Deng Yi; Lin Dong-Dai

 
knowledge-based support for object-oriented software design and synthesis: a category theoretic approach [期刊论文]
Journal of Digital Information Management, 2007-01-01, 卷号: 5, 期号: 3, 页码: 115-122
Zheng Yujun; Xue Jinyun; Hu Qimin
  |  
 
一种WS-BPEL流程的运行时监控方法 [期刊论文]
电子学报, 2007-01-01, 卷号: 35, 期号: z2, 页码: 174-178
陈今梁; 吴国全; 魏峻
  |  
 
基于抽象解释的代码迷惑有效性比较框架 [期刊论文]
计算机学报, 2007-01-01, 卷号: 30, 期号: 5, 页码: 806-814
高鹰; 陈意云
  |  
 

previous 1 2 3 4 5 6 7 8 next

 

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