Journal 2010

时间：2019-07-22 分类：Journal Paper

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
Naijun Zhan, Connection between Logical and Algebraic Approaches to Concurrent Systems, Math. Struct.in Comp. Science, Vol.20, PP.915-950
Naijun Zhan, Mila Majster-Cederbaum, On Hierarchically Developing Reactive Systems, Information and Computation, Vol.208, No.9, PP.997-1019
Qiwen Xu, Naijun Zhan, Rate Monotonic Scheduling Re-analysed, Information Processing Letters, Vol.110, No.6, PP.226-231
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
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
戴晓君, 陈海明, 采用了剪枝优化的子类型关系判定算法, 软件学报, Vol.21, No.7, PP.1481-1490
徐亮, 改进的以SMT为基础的实时系统限界模型检测, 软件学报, Vol.21, No.7, PP.1491-1502
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
Yu Zhang, The Computational SLR: A Logic for Reasoning about Computational Indistinguishability, Math. Struct.in Comp. Science, Vol.20, PP.951-975
Jun Sun, Wenbo Zhao, Jianwei Xue, Zhiyong Shen, Yidong Shen, Clustering with Feature Order Preferences, Intelligent Data Analysis, Vol.14, PP.479-495
陈昕, 王文成, 基于复用计算的大纹理实时合成, 计算机学报, Vol.33, No.4, PP.768-775
孙春娟, 朱滨海, 王文成, 用圆锥体拟合线性模型点云数据的优化计算, 计算机辅助设计与图形学学报, Vol.22, No.8, PP.1324-1330
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
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
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.
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
朱鉴, 鲍凯, 常元章, 柳有权, 吴恩华, 实时模拟固体燃烧现象, 计算机辅助设计与图形学报
焦少慧, 陈昕, 杨刚, 吴恩华, 卡通化图像和视频的毛发文理生成与替换, 计算机辅助设计与图形学报 , Vol.22, No.7, PP.1166-1173
焦少慧, 杨刚, Heng Pheng-Ann, 吴恩华, 基于时变纹元的真实感草地枯萎模拟, 软件学报, Vol.21, No.9, PP.2224-2236
章曼, 吕伟伟, 吴恩华, 高次幂函数逼近的阴影图反走样算法, 计算机辅助设计与图形学报, Vol.22, No.1, PP.10-16
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
梁洪亮, 陈政, 张普含, ABAR:基于源代码的缺陷自动分析, 清华大学学报, 自然科学版, Vol.50, No.s1, PP.1597-1602
刘国梁, 魏峻, 冯玉琳, 基于组件模型分析的组件容器产品线体系结构, 软件学报,
王永吉, 吴敬征, 曾海涛, 丁丽萍, 廖晓锋, 隐蔽信道研究, 软件学报, Vol.21, No.9, PP.2262-2288
吴湖, 王永吉, 王哲, 王秀利, 杜拴住, 两阶段联合聚类协同过滤算法, 软件学报, Vol.21, No.5, PP.1042-1054
Min-Allah Nasro, Ullah Khan Samee, Yongji Wang, Optimal Task Execution Times for Periodic Tasks Using Nonlinear Constrained Optimization, Journal of Supercomputing
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
余元, 张云泉, 李会元, 一类非张量积区域快速傅立叶变换算法在国产并行机上的可扩展性测试, 数值计算与计算机应用, Vol.31, No.2, PP.123-130
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
饶立, 张云泉, 李玉成, 国产百万亿次机群系统Alltoall性能测试与分析, 计算机科学, Vol.27, No.8, PP.186-207
王磊, 张云泉, 刘芳芳, 张先轶, 基于混合精度算法的改进HPL软件包, 计算机工程, Vol.36, No.19, PP.47-49
孙相征, 张云泉, 王宣强, 王磊, 数值软件自适应性能优化搜索过程评价技术研究, 计算机研究与发展, Vol.47, No.4, PP.679-686
刘胜飞, 张云泉, 孙相征, 一种改进的OpenMP指导调度策略研究, 计算机研究与发展, Vol.47, No.4, PP.687-694
袁良, 张云泉, 尤国平, 王可, 张先轶, 基于延迟隐藏因子的GPU计算模型, 软件学报(增刊), Vol.21, PP.251-262
陈少虎, 张云泉, 张先轶, 程豪, BLAS 库在多核处理器上的性能测试与分析, 软件学报(增刊), Vol.21, PP.214-223
张云泉, 王婷, 孙相征, 杨超, 李力刚, 行星流体动力学数值模拟程序的千核性能优化, 科研信息化技术与应用, Vol.1, No.3, PP.24-30
孙相征, 张云泉, 王婷, 杨超, 李力刚, 天体大规模数值模拟软件性能优化, 华中科技大学学报(自然科学版), Vol.38, PP.51-54
易秋萍, 刘剑, 武术, 面向访问验证保护级的安全VMM形式化原型系统设计和实现, 计算机科学, Vol.37, No.12
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
梁洪亮, 陈政, 张普含, ABAR:基于源代码的缺陷自动分析, 清华大学学报, 自然科学版, Vol.50, No.S1, PP.1597-1602