地图     English
学术论文 2010

出自计算机科学国家重点实验室

首页 > 学术研究 > 学术论文 2010
跳转到: 导航, 搜索


2014年 2013年 2012年 2011年 2010年 2009年 2008年 2007年 往年期刊论文
  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

2014年 2013年 2012年 2011年 2010年 2009年 2008年 2007年 往年会议论文
  1. Alessio Lomuscio, Ben Strulo, Nigel Walker, Peng Wu, Assume-Guarantee Reasoning with Local Specifications, ICFEM 2010, 11.16- 11.19
  2. Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou, A Calculus for Hybrid CSP, APLAS 2010, 11.28-12.1
  3. Zizhen Wang, Hanpin Wang, Naijun Zhan, Refinement of Models of Software Components, Symposium on Applied Computing 2010, 3.22-3.26
  4. Zhongxing Xu, Ted Kremenek, Jian Zhang, A Memory Model for Static Analysis of C Programs, ISoLA 2010, 10.18-10.21
  5. Yunhe Wang, Li Jiao, Canonical Transition Set Semantics for Petri Nets, 31st International Conference on Appliations and Theory of Petri Nets and Other Models of Concurrency, 6.21-6.25
  6. Yunhe Wang, Bo Jiang, Li Jiao, Property Checking for 1-place-unbounded Petri Nets, TASE 2010, 8.25-8.27
  7. Mingji Xia, Holographic Reduction: A Domain Changed Application and Its Partial Converse Theorems, ICALP 2010, 7.5-7.10
  8. Jianfeng Du, Yidong Shen, Guilin Qi, Decomposition-based Consistent Query Answering in Databases with Universal Constraints Under Cardinality-based Semantics, CiSE 2010, 12.10-12.12
  9. Jia Liu, Huimin Lin, A Complete Symbolic Bisimulation for Full Applied Pi Calculus, SOFSEM 2010, 1.23-1.29
  10. Jia Liu, Huimin Lin, Proof System for Applied Pi Calculus, TCS 2010, 9.20-9.23
  11. Zhiwu Xu, Lixiao Zheng, Haiming Chen, A Toolkit for Generating Sentences from Context-Free Grammars, SEFM 2010, 9.14-9.18
  12. Lei Chen, Haiming Chen, Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules, ICTAC 2010, 9.1-9.3
  13. Zhiming Liu, Charles Morisset, Shuling Wang, A Graph-based Implementation for Mechanized Refinement Calculus of OO Programs, SBMF 2010, 11.10-11.12
  14. Zhiyong Shen, Liang Du, Xukun Shen, Yidong Shen, Interval-valued Matrix Factorization with Applications, ICDM 2010, 12.14-12.17
  15. Xuan Li, Yidong Shen, Liang Du, Chenyan Xiong, Exploiting Novelty,Coverage and Balance for Topic-Focused Multi-Document Summarization, CIKM 2010, 10.26-10.30
  16. Zhenyu Zhang, Zhongxing Xu, Zhifang Liu, Xiaopeng Gao, Macro-like Instrumentation Grammar for Boolean Expressions, CiSE 2010, 12.10-12.12
  17. W.K. Chan, Lijun Mei, Zhenyu Zhang, Xiaopeng Gao, A Community-Centric Model for Service Publication,Discovery,Selection,Binding,and Maintenance, SOSE 2010, 6.4-6.5
  18. Zhenyu Zhang, Zijian Tong, Xiaopeng Gao, Testing in parallel--A Need for Practical Regression Testing, ICSOFT 2010, 7.22-7.24
  19. Qiong Shi, Zhenyu Zhang, Zhifang Liu, Xiaopeng Gao, Enhance Fault Localization Using a 3D Surface Representation, Second International Conference on Computer Research and Development, 5.7-5.10
  20. Xueyang Zhu, Retiming Multi-Rate DSP Algorithms to Meet Real-Time Requirement, DATE 2010, 3.8-3.12
  21. 韩红雷, 王文成, 透视正确的线性插值纹理映射方法, CAD/CG' 2010, 7.28-7.30
  22. Kangying Cai, Weiwei Li, Weiliang Meng, Wencheng Wang, Zhibo Chen, Xin Zheng, Robust Discovery of partial Rigid Symmetries on 3D Models, ACM SIGGRAPH Asia 2010, 12.15-12.18
  23. Teng Long, Wenhui Zhang, Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems, ATVA 2010, 12.21-12.24
  24. Shaochun Wang, Temporal Filter A Temporal Extension to Wireshark Display Filter, SEKE 2010,7.1-7.3
  25. Xiaoxiao Yang, Zhenhua Duan, Axiomatic Temporal Logic Programs Verification, TASE 2010, 8.25-8.27
  26. Baiqiang Chen, Jun Yan, Jian Zhang, Combinatorial Testing with Shielding Parameters, APSEC 2010, 11.30-12.3
  27. Xiangxue Jia, Runming Lu, Sheng Liu, Jian Zhang, Local Lemma: A New Strategy of Pruning in SAT Solvers 25th Annual ACM Symposium on Applied Computing, SAC 2010, 3.22-3.26
  28. Angsheng Li, Peng Zhang, Unbalanced Graph Partitioning, ISAAC 2010, 7.25-7.30
  29. Meng Yang, Mengcheng Huang, Enhua Wu, Physically-based Tree Animation and Leaf Deformation Using CUDA in Realtime, DMDCM 2010, 12.18-12.20
  30. Meng Yang, Mengcheng Huang, Gang Yang, Enhua Wu, Physically-based Animation for Realistic Interactions between Tree Branches and Raindrops, VRST 2010, 11.22-11.24
  31. 杨猛, 吴恩华, 一种基于物理树木动态的GPU实时仿真技术, CIDE 2010, 10.14-10.16
  32. Dong Li, Youquan Li, Kai Bao, Enhua Wu, Real-time Shallow Water Simulation on Terrain, VRCAI 2010, 12.12-12.13
  33. Hongliang Liang, Qiuping Yi, Shuo Tian, Specifying and Building a Formal Secure Virtual Monitor Machine Prototype, IC-BNMT 2010, 10.26-10.28
  34. Xiulei Qin, Jun Wei, Hua Zhong, Tao Huang, A Two-Phase Approach to Subscription Subsumption Checking for Content-Based publish/Subscribe Systems, 24th IEEE International Conference on Advanced Information Networking and Applications(AINA2010), 4.20-4.23
  35. Xiongfei Luo, Feng Tian, Wei Liu, Dongxing Teng, Guozhong Dai, Hongan Wang, Visualizing Time-series Data in Processlines: Design and Evaluation of A Process Enterprise, 25th Annual ACM Symposium on Applied Computing, 3.22-3.26
  36. Yingying Jiang, Feng Tian, Hongan Wang, Xiaolong Zhang, Xugang Wang, Guozhong Dai, Intelligent Understanding of Handwritten Geometry Theorem Proving, 14th ACM International Conference on Intelligent User Interfaces, IUI 2010, 2.7-2.10
  37. Feng Tian, Fei Lv, Jingtao Wang, Hongan Wang, Wencan Luo, Mattew Kam, Vidya Setlur, Guozhong Dai, John Canny, Let's Play Chinese Characters-mobile Learning Approaches via Culturally Inspired Group, 28th Annual CHI Conference on Human Factors in Computing Systems, 4.10-4.15
  38. Xiongfei Luo, Dongxing Teng, Feng Tian, Guozhong Dai, A Developing Framework for Interactive Temporal Data Visualization, The 3rd Visual Information Communication-International Symposium, VINCI 2010, 9.28-9.29
  39. Qiusong Yang, Mingshu Li, A Cut-off Approach for Bounded Verification of Parameterized Systems, ICSE 2010, 5.2-5.8
  40. Xiaofeng Liao, Yongji Wang, Liping Ding, Discovering Temporal Patterns from Images using Extended PLSA, ICMT 2010, 10.29-10.31
  41. Chao Yang, Yunquan Zhang, Ligang Li, Numerical Simulation of the Thermal Convection in the Earth's Outer Core 2010, 12th IEEE International Conference on High Performance Computing and Communications, 9.1-9.3
  42. Jing Wang, Yunquan Zhang, Xianyi Zhang, Xiangzheng Sun, Quanhu Sheng, QuantWiz: A Scalable Parallel Software Package for Label-free Protein Quantification, BIC-TA 2010, 9.8-9.10
  43. Liang Yuan, Yunquan Zhang, Xiangzheng Sun, Ting Wang, Optimizing Sparse Matrix Vector Multiplication Using Diagonal Storage Matrix Format 2010, 12th IEEE International Conference on High Performance Computing and Communications, 9.1-9.3
  44. 费辉, 张云泉, 王可, 分子动力学模拟在OpenCL框架的GPU上的实现, HPC China 2010, 10.28-10.30
  45. 解庆春, 张云泉, 王可, 李炎, SIMD技术与向量数学库研究, HPC China 2010, 10.28-10.30
  46. 李炎, 张云泉, 王可, 赵美超, 异构平台上基于OpenCL的FFT测试与分析, HPC China 2010, 10.28-10.30
  47. Chao Yang, Ligang Li, Yunquan Zhang, Development of A Scalable Solver for the Earth's Core Convection, HPCA 2009, LNCS 5938, PP.497-502 2010
  48. Yan Li, Yunquan Zhang, Ke Wang, Wenhua Guan, Heterogeneous Multi-core Parallel SGEMM Performance Testing and Analysis on Cell/B.E Processor, 2010 Fifth IEEE International Conference on Networking,Architecture,and Storage, 7.15-7.17
  49. Wang Lei, Zhang Yunquan, Zhang Xianyi, Liu Fangfang, Accelerating Linpack Performance with Mixed Precision Algorithm on CPU+GPGPU Heterogeneous Cluster, 2010 10th IEEE Internatinal Conference on Computer and Information Technology (CIT 2010), 6.29-7.1
  50. Yinglong Ma, Towards Stable Semantic Ontology Measurement, ISWC 2010, 11.7-11.11
  51. Jianfeng Du, Guilin Qi, Decomposition-Based Optimization for Debugging of Inconsistent OWL DL Ontologies, KSEM 2010, 9.1-9.3
  52. Yuxin Deng, Rob van Glabbeek, Characterising Probabilistic Processes Logically, LPAR 2010, 10.10-10.15
  53. Zhihong Deng, Xiaoran Xu, An Efficient Algorithm for Mining Erasable Itemsets, ADMA 2010, 11.19-11.21
  54. Zhonghui Wang, Zhihong Deng, Tag Recommendation Based on Bayesian Principle, ADMA 2010, 11.19-11.21

2014年 2013年 2012年 2011年 2010年 2009年 2008年 2007年 往年技术报告
  1. ISCAS-LCS-10-01:Wencheng Wang, Xin Chen,Synthesis of Large Textures with Partially Synthesized Textures Reused
  2. ISCAS-LCS-10-02:Xiaoxiao Yang, Zhenhua Duan, Qian Ma,Axiomatic Semantics of Projection Temporal Logic Programs
  3. ISCAS-LCS-10-03:Xiaoxiao Yang, Zhenhua Duan,Axiomatic Interval Temporal Logic Verification
  4. ISCAS-LCS-10-04:Zhenyu Zhang,Testing in Parallel,A Need for Practical Regression Testing
  5. ISCAS-LCS-10-05:Zhongxing Xu, Ted Kremenek, Jian Zhang,A Memory Model for Static Analysis of C Programs
  6. ISCAS-LCS-10-06:Mingji Xia,Holographic reduction: a domain changed application and its partial converse theorems
  7. ISCAS-LCS-10-07:Naijun Zhan,Connection Between Logical and Algebraical Approaches to Concurrent Systems
  8. ISCAS-LCS-10-08:Yunhe Wang, Li Jiao,Canonical Transition Set Semantics for Petri Nets
  9. ISCAS-LCS-10-09:Zhenyu Zhang, Zhongxin Xu,Macro-like Instrumentation Grammar for Boolean Expressions
  10. ISCAS-LCS-10-10:Yunhe Wang, Li Jiao,Apply Canonical Transition Set Semantics to Bounded Model Checking
  11. ISCAS-LCS-10-11:Haiming Chen,Finite Automata of Expressions in the Case of Star Normal Form and One-Unambiguity
  12. ISCAS-LCS-10-12:Zhiwu Xu, Lixiao Zheng and Haiming Chen,A Toolkit for Generating Sentences from Context-Free Grammars
  13. ISCAS-LCS-10-13:Runming Lu, Sheng Liu and Jian Zhang,Searching for Doubly Self-Orthogonal Latin Squares
  14. ISCAS-LCS-10-14:Yidong Shen, Jiahuai You, Kewen Wang,A Default Semantics for Logic Programs with Abstract Constraints and its Application to the Semantic Web
  15. ISCAS-LCS-10-15:Jiang Liu, Naijun Zhan, Hengjun Zhao,A Complete Method for Generating Polynomial Differential Invariants
  16. ISCAS-LCS-10-16:Wenhui Zhang,Bounded Semantics of CTL
  17. ISCAS-LCS-10-17:Liu Jiang, Lv Jidong, Quan Zhao, Zhan Naijun,Zhao Hengjun, Zhou Chaochen, Zou Liang,A Calculus for Hybrid CSP
  18. ISCAS-LCS-10-18:Baiqiang Chen, Jian Zhang,Evaluation and Optimization of Test Suites in Combinatorial Testing
  19. ISCAS-LCS-10-19:Xiaoxiao Yang,Probabilistic Model Checking on Propositional Projection Temporal Logic
  20. ISCAS-LCS-10-20:Guangyuan Li,Model Checking Time-Constraint LTL Properties for Timed Automata
  21. ISCAS-LCS-10-21:Zhiming Liu, Martin Schaf, Naijun Zhan, Jiaqi Zhu,Composable Automata for Component Interfaces
  22. ISCAS-LCS-10-22:Jiang Liu, Naijun Zhan, Hengjun Zhao,Automatically Discovering Relaxed Lyapunov Functions for Algebraic Dynamical Systems
  23. ISCAS-LCS-10-23:Gilles Dowek, Ying Jiang,On the Expressive Power of Schemes
  24. ISCAS-LCS-10-24:Wenhui Zhang,Ternary Boolean Diagrams
  25. ISCAS-LCS-10-25:Yongjian Li, Jun Pang,Extending the Strand Space Method with Timestamps: Part II Application to Kerberos V
  26. ISCAS-LCS-10-26:Yongjian Li, Jun Pang,Extending the Strand Space Method with Timestamps: Part I the Theory
  27. ISCAS-LCS-10-27:Yongjian Li, William N. N. Hung,Xiaoyu Song, Naiju Zeng,Exploring Structural Symmetry Automatically in Symbolic Trajectory Evaluation
  28. ISCAS-LCS-10-28:Jia Liu, Huimin Lin,Proof System for Applied Pi Calculus
  29. ISCAS-LCS-10-29:Jia Liu, Huimin Lin,A Complete Symbolic Bisimulation for Full Applied Pi Calculus



版权所有 © 中国科学院软件研究所计算机科学国家重点实验室 Powered by MediaWiki
京ICP备05046678号