Journal 2010

时间：2019-07-14 分类：期刊论文

1. Lu Yang, Chaochen Zhou, Naijun Zhan, Bican Xia, Recent Advances in Program Verification through Computer Algebra, Frontiers of Computer Science in China, Vol.4, No.1, PP.1-16
2. Naijun Zhan, Connection between Logical and Algebraic Approaches to Concurrent Systems, Math. Struct.in Comp. Science, Vol.20, PP.915-950
3. Naijun Zhan, Mila Majster-Cederbaum, On Hierarchically Developing Reactive Systems, Information and Computation, Vol.208, No.9, PP.997-1019
4. Qiwen Xu, Naijun Zhan, Rate Monotonic Scheduling Re-analysed, Information Processing Letters, Vol.110, No.6, PP.226-231
5. Xiaowei Huang, Li Jiao, Weiming Lu, A Precongruence Format for Should Testing Preorder, Journal of Logic and Algebraic Programming, Vol.79, No.3-5, PP.245-263
6. Xiaowei Huang, Li Jiao, Weiming Lu, Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence, The Computer Journal, Vol.53, No.1, PP.21-36
7. 戴晓君, 陈海明, 采用了剪枝优化的子类型关系判定算法, 软件学报, Vol.21, No.7, PP.1481-1490
8. 徐亮, 改进的以SMT为基础的实时系统限界模型检测, 软件学报, Vol.21, No.7, PP.1491-1502
9. Ming Xu, Chuandong Mu, Zhenbing Zeng, Zhibin Li, A Heuristic Approach to Positive Root Isolation for Multiple Power Sums, Journal of Universal Computer Science, Vol.16, No.14, PP.1912-1926
10. Yu Zhang, The Computational SLR: A Logic for Reasoning about Computational Indistinguishability, Math. Struct.in Comp. Science, Vol.20, PP.951-975
11. Jun Sun, Wenbo Zhao, Jianwei Xue, Zhiyong Shen, Yidong Shen, Clustering with Feature Order Preferences, Intelligent Data Analysis, Vol.14, PP.479-495
12. 陈昕, 王文成, 基于复用计算的大纹理实时合成, 计算机学报, Vol.33, No.4, PP.768-775
13. 孙春娟, 朱滨海, 王文成, 用圆锥体拟合线性模型点云数据的优化计算, 计算机辅助设计与图形学学报, Vol.22, No.8, PP.1324-1330
14. Yisong Wang, Jiahuai You, Lyan Yuan, Yidong Shen, Loop Formulas for Description Logic Programs, Theory and Practice of Logic Programming, Vol.10, No.4-6, PP.531-545
15. Shandong Wang, Kangying Cai, Jian Lu, Xuehui Liu, Enhua Wu, Real-time Coherent Stylization for Augmented Reality, VISUAL COMPUTER, Vol.26, No.6-8, PP.445-455
16. Shixue Zhang, Junyu Zhao, Enhua Wu, An Improved Method for Progressive Animation Models Generation, SCIENCE CHINA-INFORMATION SCIENCES, Vol.53, No.7, PP.1312-1321.
17. Mengcheng Huang, Fang Liu, Enhua Wu, A GPU-based Matting Laplacian Solver for High Resolution Image Matting, VISUAL COMPUTER, Vol.26, No.6-8, PP.943-950
18. 朱鉴, 鲍凯, 常元章, 柳有权, 吴恩华, 实时模拟固体燃烧现象, 计算机辅助设计与图形学报
19. 焦少慧, 陈昕, 杨刚, 吴恩华, 卡通化图像和视频的毛发文理生成与替换, 计算机辅助设计与图形学报 , Vol.22, No.7, PP.1166-1173
20. 焦少慧, 杨刚, Heng Pheng-Ann, 吴恩华, 基于时变纹元的真实感草地枯萎模拟, 软件学报, Vol.21, No.9, PP.2224-2236
21. 章曼, 吕伟伟, 吴恩华, 高次幂函数逼近的阴影图反走样算法, 计算机辅助设计与图形学报, Vol.22, No.1, PP.10-16
22. Kai Bao, Xiaolong Wu, Hui Zhang, Enhua Wu, Volume Fraction Based Miscible and Immiscible Fluid Animation, COMPUTER ANIMATION AND VIRTUAL WORLDS, Vol.21, PP.401-410
23. 梁洪亮, 陈政, 张普含, ABAR:基于源代码的缺陷自动分析, 清华大学学报, 自然科学版, Vol.50, No.s1, PP.1597-1602
24. 刘国梁, 魏峻, 冯玉琳, 基于组件模型分析的组件容器产品线体系结构, 软件学报,
25. 王永吉, 吴敬征, 曾海涛, 丁丽萍, 廖晓锋, 隐蔽信道研究, 软件学报, Vol.21, No.9, PP.2262-2288
26. 吴湖, 王永吉, 王哲, 王秀利, 杜拴住, 两阶段联合聚类协同过滤算法, 软件学报, Vol.21, No.5, PP.1042-1054
27. Min-Allah Nasro, Ullah Khan Samee, Yongji Wang, Optimal Task Execution Times for Periodic Tasks Using Nonlinear Constrained Optimization, Journal of Supercomputing
28. Qi Li, Ye Yang, Mingshu Li, Qing Wang, Barry W. Boehm, Chenyong Hu, Improving Software Testing Process: Feature Prioritization to Make Winners of Success-critical Stakeholders, Journal of Software Maintenance and Evolution: Research and Practice
29. 余元, 张云泉, 李会元, 一类非张量积区域快速傅立叶变换算法在国产并行机上的可扩展性测试, 数值计算与计算机应用, Vol.31, No.2, PP.123-130
30. Yunquan Zhang, Jiachang Sun, Guoxing Yuan, Linbo Zhang, Perspectives of China’s HPC System Development: A View from the 2009 China HPC Top100 List, Frontiers of Computer Science in China, Vol.4, No.4, PP.437-444
31. 饶立, 张云泉, 李玉成, 国产百万亿次机群系统Alltoall性能测试与分析, 计算机科学, Vol.27, No.8, PP.186-207
32. 王磊, 张云泉, 刘芳芳, 张先轶, 基于混合精度算法的改进HPL软件包, 计算机工程, Vol.36, No.19, PP.47-49
33. 孙相征, 张云泉, 王宣强, 王磊, 数值软件自适应性能优化搜索过程评价技术研究, 计算机研究与发展, Vol.47, No.4, PP.679-686
34. 刘胜飞, 张云泉, 孙相征, 一种改进的OpenMP指导调度策略研究, 计算机研究与发展, Vol.47, No.4, PP.687-694
35. 袁良, 张云泉, 尤国平, 王可, 张先轶, 基于延迟隐藏因子的GPU计算模型, 软件学报(增刊), Vol.21, PP.251-262
36. 陈少虎, 张云泉, 张先轶, 程豪, BLAS 库在多核处理器上的性能测试与分析, 软件学报(增刊), Vol.21, PP.214-223
37. 张云泉, 王婷, 孙相征, 杨超, 李力刚, 行星流体动力学数值模拟程序的千核性能优化, 科研信息化技术与应用, Vol.1, No.3, PP.24-30
38. 孙相征, 张云泉, 王婷, 杨超, 李力刚, 天体大规模数值模拟软件性能优化, 华中科技大学学报(自然科学版), Vol.38, PP.51-54
39. 易秋萍, 刘剑, 武术, 面向访问验证保护级的安全VMM形式化原型系统设计和实现, 计算机科学, Vol.37, No.12
40. Jianfeng Du, Guilin Qi, Jeff Z. Pan, Finding Data Tractable Description Logics for Computing a Minimum Cost Diagnosis Based on Abox Decomposition, Tsinghua Science and Technology, vol.14, No.2, PP.623-632
41. 梁洪亮, 陈政, 张普含, ABAR:基于源代码的缺陷自动分析, 清华大学学报, 自然科学版, Vol.50, No.S1, PP.1597-1602