Map     中文
Papers 2011

From State Key Laboratory of Computer Science

Main Page > Research > Papers > Papers 2011
Jump to: navigation, search


Year 2014 Year 2013 Year 2012 Year 2011 Year 2010 Year 2009 Year 2008 Year 2007 Journal Papers Before 2007
  1. Jingzheng WU, Yongji WANG, Liping DING, Research on key problem s of covert channel in cloud com puting (In Chinese), Journal On Communications, Vol.32, No.9A, PP.184-203.
  2. Jian ZHAI, Qiu-Song YANG, Jun-Chao XIAO, Ming-Shu LI, Formalized Approach for Componentized Software Process Modeling (In Chinese), Journal of Software, Vol.22, No.1, PP.001-016.
  3. Jing DU, Ye YANG, Qing WANG, Mingshu LI, Evidence-Based Trustworthy Software Process Assessment Method (In Chinese),

JOURNAL OF FRONTIERS OF COMPUTER SCIENCE & TECHNOLOGY, Vol.5, No.6, PP.501-512

  1. Zhimin HE, Fengdi SHU, Ye YANG, Mingshu LI, Qing WANG, An investigation on the feasibility of cross-project defect prediction, Journal of Automated Software Engineering, Vol. 19, No. 2, PP.167-199.
  2. Yongji WANG, Jingzheng WU, Liping DING, Haitao ZENG, Detecion Approach for Covert Channel Based on Concurrency Conflict Interval Time (In Chinese), Journal of Computer Research and Development, Vol.48, No.8, PP.1542 - 1553
  3. Xiaofeng LIAO, Yongji WANG, Jinhui ZHOU, Bei GUAN, A Domain Expert Document Automatic Collecting System (In Chinese), Computer Systems & Applications
  4. CAO Zheng-cai, ZHAO Hui-dan, WANG Yong-ji, Releasing Control Policy for Semiconductor Wafer Fabrication Based on Fuzzy Petri Nets-Reasoning, CHINESE JOURNAL OF ELECTRONICS, Vol.20, No.7, PP.1545-1550
  5. Hui FEI, Yunquan ZHANG, Ke WANG, Yawu XU, Parallel Algorithm and Implementation for Molecular Dynamics Simulation Based on GPU (In Chinese), Computer Science, Vol.38, No.9, PP. 275-278
  6. Qingchun XIE, Yunquan ZHANG, Ke WANG, Yan LI, Yawu XU, Research of the SIMD and Vector Math Library (In Chinese), Computer Science, Vol.38, No.7, PP.298-301
  7. Cuixia MA, Lei REN, Dongxing TENG, Hongan WANG, Guozhong DAI, Ubiquitous human-computer interaction in cloud manufacturing (In Chinese), COMPUTER INTEGRATED MANUFACTURING SYSTEMS, Vol.17, No.3, PP.504-510
  8. Mingxuan CHEN, Changzhi DENG, Lei REN, Feng TIAN, Guozhong DAI, Research on Model Driven Development Framework for Pen Based User Interface (In Chinese), Acta Electronica Sinica, Vol.39, No.2, P.268-274
  9. Yinting FAN, Dongxing TENG, Gongzheng WANG, Haiyan YANG, Hongan WANG, Guozhong DAI, Implementation Mechanism of Adaptive User Interface for Furniture Layout Customizing System (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, Vol.23, No.4, PP.705-712
  10. Dongxing TENG, Zilu WANG, Haiyan YANG, Hongan WANG, Guozhong DAI, Research on Decision Analysis System Based on Interactive Visual Components (In Chinese), CHINESE JOURNAL OF COMPUTERS, Vol.34, No.3, PP.3555-3565
  11. Haiyan YANG, Jia CHEN, Cuixia MA, Lili HE, DongXing TENG, Guozhong DAI, Hongan WANG, Constructing Technology for Hypervideo Based on Sketch Interface (In Chinese), Journal of Computer Research and Development, Vol.48, No.2, PP.289-295
  12. Jinyi Cai, Pinyan Lu, Mingji Xia, A computational proof of complexity of some restricted counting problems, Theoretical Computer Science, Vol.412, No.23, PP.2468-2485
  13. Yongjian Li, William N.N.Hung, Xiaoyu Song, A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL, Theoretical Computer Science, Vol.412, No.25, PP.2746-2765
  14. Robert G. Merkel, Daoming Wang, Huimin Lin, Tsong Yueh Chen, Automatic Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver, International Journal of Software Engineering and Knowledge Engineering, Vol. 21, No.2, PP.289-307
  15. Jinyi Cai, Pinyan Lu, Mingji Xia, Computational Complexity of Holant Problems, SIAM Journal on Computing, Vol.40, No.4, PP.1101-1132
  16. Yongjian Li, William N.N.Hung, Xiaoyu SongNaiju Zeng, Exploring structural symmetry automatically in symbolic trajectory evaluation, Formal Methods in System Design, Vol.39, No.2, PP.117-143
  17. Xiaohui Bie, Haoda Huang, Wencheng Wang, Free appearance-editing with improved Poisson image cloning, Journal of Computer Science and Technology, Vol.26, No.6, PP.1011-1016
  18. Zhenyu Zhang, W. K. Chan, T.H.Tse, Y.T.Yu, Peifeng Hu, Non-Parametric Predicate-Based Fault Localization, Journal of System and Softwares, Vol.84, No.6, PP.885-905
  19. Linqing Tang, On the Derandomization of the Graph Test for Homomorphism over Groups, Theoretical Computer Science, Vol.412, No.18, PP.1718-1728
  20. Gilles Dowek, Ying Jiang, On the expressive power of schemes, Information and Computation, Vol.209, No.9, PP.1231-1245
  21. Xiaohui Bie, Haoda Huang, Wencheng Wang, Real time edit propagation by efficient sampling, Computer Graphics Forum, Vol.30, No.7, PP.2041-2048
  22. Bin Fu, Angsheng Li, Liyu Zhang, Separating NE from Some Nonuniform Nondeterministic Complexity Classes, Journal of Combinatorial Optimization, Vol.22, No.3, PP.482-493
  23. George Barmpalias, Strings with trivial Kolmogorov Complexity, International Journal of Software and Informatics, Vol. 5, No.4, PP.609-623
  24. Bican Xia, Lu Yang, Naijun Zhan, Zhihai Zhang, Symbolic decision procedure for termination of linear programs, Formal Aspects of Computing, Vol.23, No.2, PP.171-190
  25. Manindra Agrawal, Angsheng Li, Theory and applications of models of computation, Theoretical Computer Science, Vol.412, No.18, PP.1645
  26. Dezhen BU, Implementation of model checking for LTL properties with clocks constraints (In Chinese), COMPUTER ENGINEERING AND DESIGN (In Chinese), Vol.32, No.2, PP.564-567
  27. Honglei HAN, Wencheng WANG, Linear Texture Coordinate Interpolation in Rasterization (In Chinese), Journal of Computer-Aided Design & Computer Graphics, Vol.23, No.6, PP.999-1005
  28. Miao HUA, Xin CHEN, Wencheng WANG, An Easy and Fast Method for Dominant Texture Extraction (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS (In Chinese), Vol.23, No.1, PP.46-53
  29. Jing LI, Wencheng WANG, Optimizing Grid Construction in Linear Complexity (In Chinese), Journal of Software, Vol.22, No.10, PP.2488-2496
  30. Yongguo Liu, Xindong Wu , Yidong Shen, Automatic clustering using genetic algorithms, Applied Mathematics and Computation , Vol.218, No.4, PP.1267-1279
  31. Angsheng Li, Pan Peng, Community Structures in Classical Network Models, Internet Mathematics, Vol.7, No.2, PP.81-106
  32. Yisong Wang, Jiahuai You, Lyan Yuan, Yidong Shen, Mingyi Zhang, The loop formula based semantics of description logic programs, Theoretical Computer Science, Vol.415, PP.60-85
  33. Guofu XIE, Wencheng WANG, Single-Pass Data Access for Multi-Fragment Effects Rendering on GPUs (In Chinese), Chinese Journal of Computer, Vol.34, No.3, PP.473-481
  34. Rahul Jain, Zhengfeng Ji, Sarvagya Upadhyay, John Watrous, QIP = PSPACE, Journal of ACM, Vol.58, No.6
  35. Jianxin Chen, Xie Chen, Runyao Duan, Zhengfeng Ji, Bei Zeng, No-go theorem for one-way quantum computing on naturally occurring two-level systems, Phys.Rev.A, Vol.83
  36. Zhengfeng Ji, Zhaohui Wei, Bei Zeng , Complete characterization of the ground-space structure of two-body frustration-free hamiltonians for qubits, Phys.Rev.A, Vol.84
  37. Markus Grassl, Zhengfeng Ji, Zhaohui Wei, Bei Zeng, Quantum-capacity-approaching codes for the detected-jump channel, Rev.A, Vol.82


Year 2014 Year 2013 Year 2012 Year 2011 Year 2010 Year 2009 Year 2008 Year 2007 Conference Papers Before 2007
  1. Lin SHI, Hao ZHONG, Tao XIE, Mingshu LI, An Empirical Study on Evolution of API Documentation, FASE2011, 2011.3.26-4.3
  2. Qiusong YANG, Bei ZHANG Jian ZHAI, Mingshu LI, Attacking Dimensionality Problem of Parameterized Systems via Bounded Reachability Graph, FSEN2011, 2011.4.20-4.22
  3. JingZheng WU, Liping DING, Yongji WANG, Wei HAN, A Practical Covert Channel Identification Approach in Source Code based on Directed Information Flow Graph, SSIRI2011, 2011.6.27-6.29
  4. JingZheng WU, Liping DING, Yongji WANG, Wei HAN, Identification and Evaluation of Sharing Memory Covert Timing Channel in Xen Virtual Machines, CLOUD 2011, 7.4-7.9
  5. Xiaofeng Liao, Yongji Wang, Liping Ding, Secure Machine Learning, A Brief Overview, SSIRI2011, 6.27-6.29
  6. Xiangzheng Sun, Yunquan Zhang, Ting Wang, Guoping Long, Xianyi Zhang, Yan Li, CRSD: Application Specific Auto-tuning of SpMV for Diagonal Sparse Matrices, Euro-Par 2011,
  7. Xiangzheng Sun, Yunquan Zhang, Ting Wang, Xianyi Zhang, Liang Yuan, Li Rao, Optimizing SpMV for Diagonal Sparse Matrices on GPU, The International Conference on Parallel Processing (ICPP 2011),
  8. Ling Zhao, Guocheng An, Fengjun Zhang, Hongan Wang, Guozhong Dai, Scale Adaptation of Mean Shift Based on Graph Cuts Theory., CAD/Graphics 2011,
  9. Fei Lv , Feng Tian, Yingying Jiang, Xiang Cao, Wencan Luo, Guang Li, Guozhong Dai, Hongan Wang, ShadowStory: creative and collaborative digital storytelling inspired by cultural heritage. , CHI 2011,
  10. Danli Wang, Cheng Zhang, Hongan WangT-Maze: a tangible programming tool for children., IDC 2011,
  11. Kang Zhong, Feng Tian, Hongan Wang, Foot Menu: Using Heel Rotation Information for Menu Selection., ISWC 2011,
  12. Cheng Zhang, Li Shen, Danli Wang, Feng Tian, Hongan Wang, CoolMag: a tangible interaction tool to customize instruments for children in music education. , Ubicomp 2011,
  13. Yingying Jiang, Feng Tian, Xiaolong (Luke) Zhang, Guozhong Dai, Hongan Wang, Understanding, Manipulating and Searching Hand-Drawn Concept Maps., ACM TIST(2011),
  14. Shi Jian, Qiao Ying, Wang Hongan, visualizing inference process of a rule engine, 4th Visual Information Communication - International Symposium, VINCI 2011, 8.4
  15. Zhong Kang, Kang Jinsheng, Qin Shengfeng, Wang Hongan, rapid 3d conceptual design based on hand gesture, 3rd IEEE International Conference on Advanced Computer Control, ICACC 2011,
  16. Zhong Kang, Tian Feng, Wang Hongan, foot menu: using heel rotation information for menu selection, 15th Annual International Symposium on Wearable Computers, ISWC 2011,
  17. Tian Feng, Cao Xiang, Lu Fei, Dai Guozhong, Zhang Xiaolong, Wang Hongan, empirical studies of pen tilting performance in pen-based user interfaces, 4th Visual Information Communication - International Symposium, VINCI 2011, 8.4
  18. Zhang Cheng, Shen Li, Wang Danli, Tian Feng, Wang Hongan, coolmag: a tangible interaction tool to customize instruments for children in music education, 13th International Conference on Ubiquitous Computing, UbiComp'11 and the Co-located Workshops
  19. Zeng Zhirong, Wang Kun, Teng Dongxing, Wang Hongan, Dai Guozhong, a hyperbolic tree based interface for exploring massive files, 4th Visual Information Communication - International Symposium, VINCI 2011, 8.4
  20. Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song, Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE, Haifa Verification Conference 2011,
  21. Qin Shu, Zongyan Qiu, Shuling Wang, A Confinement Framework for OO Programs, International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO 2011), 7.25-7.25
  22. Zhilin Wu, A Decidable Extension of Data Automata, International Symposium on Games, Automata, Logics and Formal Verification-GandALF 2011, 6.15-6.17
  23. Saddek Bensalem, Lavindra De Silva, Andreas Griesmayer, Felix Ingrand, Axel Legay, Rongjie Yan, A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems, SC2011, 6.3-7.1
  24. Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois knoll, Algorithms for Synthesizing Priorities in Component-based Systems, ATVA2011, 10.11-10.14
  25. Yongjian Li, Jun Pang, An Inductive Approach to Provable Anonymity, Sixth International Conference on Availability, Reliability and Security, 8.22-8.26
  26. Chengling Fang, Jiang Liu, Guohua Wu, Cupping and diamond embeddings: a unifying approach, the 7th conference on Models of computation in context: computability in Europe, 6.27-7.2
  27. Jiang Liu, Ming Xu, Naijun Zhan, Hengjun Zhao, Detecting Strong Nontermination of Multi-Path Polynomial Programs, Computer Mathematics 2011, 11.25-11.28
  28. Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song, Enhanced Symbolic Simulation of a Round-Robin Arbiter, 29th IEEE International Conference on Computer Design, 10.9-10.12
  29. Yuanzhang Chang, Kai Bao, Jian Zhu, Enhua Wu, Granular Materials Animation Using Particle-Based Model, The 2011 Asian Conference on Design and Digital Engineering, 8.27-8.29
  30. Zhenbo Xu, Jian Zhang, Zhongxing Xu, Memory Leak Detection Based on Memory StateTransition Graph, APSEC 2011, 12.5-12.8
  31. Jianhua Gao , Ying Jiang , Model Checking: A Coalgebraic Approach, TASE, 8.29-8.31
  32. Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse, Precise Propagation of Fault-Failure Correlations in Program Flow Graphs, the 35th Annual IEEE International Computer Software and Applications Conference (COMPSAC 2011), 7.18-7.22
  33. Xiaohui Bie, Haoda Huang, Wencheng Wang, Real time edit propagation by efficient sampling (见期刊论文23), The 19th Pacific Conference on Computer Graphics and Applications (Pacific Graphics'2011), 9.21-9.23
  34. Giuseppe Castagna, Zhiwu Xu, Set-theoretic foundation of parametric polymorphism and subtyping, the 16th ACM SIGPLAN international conference on Functional programming (ICFP '11), 9.19-9.21
  35. Jian Xu, W. K. Chan, Zhenyu Zhang, T. H. Tse, A Dynamic Fault Localization Technique with Noise Reduction for Java Programs, the 11th International Conference on Quality Software (QSIC 2011), 7.13-7.14
  36. H. Chen, P. Lu, Assisting the design of XML Schema: diagnosing nondeterministic content models, APWeb 2011, 4.18-4.20
  37. Jiang Liu, Naijun Zhan, Hengjun Zhao, Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems, Fourth International Conference on Mathematical Aspects of Computer and Information Sciences, 10.19-10.22
  38. Angsheng Li, Yicheng Pan, Characterizations of Locally Testable Linear- and Affine-Invariant Families, COCOON,
  39. Jiang Liu, Naijun Zhan, Hengjun Zhao, Computing semi-algebraic invariants for polynomial dynamical systems, the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, 10.9-10.14
  40. Lixiao Zheng, Haiming Chen, Determinacy and Rewriting of Conjunctive Queries over Unary Database Schemas, the 26th ACM Symposium on Appied Computing (SAC), 3.21-3.24
  41. Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan, D-Finder 2: Towards Efficient Correctness of Incremental Design, NFM2011, 4.18-4.2
  42. Guangwei Wang, Guofu Xie, Wencheng Wang, Efficient search of lightcuts by spatial clustering, The 4th ACM SIGGRAPH Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia (ACM Siggraph Asia 2011), Sketch, 12.12-12.15
  43. Yidong Shen, Kewen Wang, Extending Logic Programs with Description Logic Expressions for the Semantic Web, The 10th International Semantic Web Conference (ISWC-11), 10.23-10.27
  44. Xuan Li, Liang Du, Yidong Shen, Graph-Based Marginal Ranking for Update Summarization, The 11th SIAM International Conference on Data Mining (SDM-11), 4.28-4.30
  45. Yuanzhang Chang, Kai Bao, Jian Zhu, Enhua Wu, High Viscosity Fluid Simulation Using Particle-based Method, The 1st International Symposium on Virtual Reality innovations, 3.19-3.20
  46. Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois Knoll, Harald Ruess, Model Construction and Priority Synthesis for Simple Interaction Systems, NFM2011, 4.18-4.2
  47. Lei Zhao, Zhenyu Zhang, Lina Wang, Xiaodan Yin, PAFL: Fault Localization via Noise Reduction on Coverage Vector, the 23th International Conference on Software Engineering and Knowledge Engineering (SEKE 2011), 7.7-7.9
  48. Dongxu Wang, Wencheng Wang, Yuexiang Shi, Progressive exact distance transfer, Asian Conference on Design and Digital Engineering 2011, 8.27-8.29
  49. Xiaoquan Wu, Zhongxing Xu, Jun Wei, Static Detection of Bugs Caused by Incorrect Exception Handling in Java, QSIC 2011, 7.13-7.14
  50. Angsheng Li, Linqing Tang, The Complexity and Approximability of Minimum Contamination Problems, TAMC,
  51. Jianfeng Du, Guilin Qi, Yidong Shen, Jeff Z. Pan, Towards Practical ABox Abduction in Large OWL DL Ontologies, The 25th AAAI Conference on Artificial Intelligence (AAAI-11), 8.7-8.11
  52. Liang Du, Xuan Li, Yidong Shen, User Graph Regularized Pairwise Matrix Factorization for Item Recommendation , The 7th International Conference on Advanced Data Mining and Applications (ADMA-11), 12.17-12.19
  53. Yidong Shen, Well-Supported Semantics for Description Logic Programs, The 22nd International Joint Conference on Artificial Intelligence (IJCAI-11), 7.16-7.22



Year 2014 Year 2013 Year 2012 Year 2011 Year 2010 Year 2009 Year 2008 Year 2007 Technical Reports Before 2007
  1. ISCAS-SKLCS-11-01: Zhenyu Zhang, Non-Parametric Statistical Fault Localization
  2. ISCAS-SKLCS-11-02: Zhenyu Zhang, Slope: Statistical Fault Localization via Failed Program Executions
  3. ISCAS-SKLCS-11-03: Zhenyu Zhang, Precise Propagation of Fault-Failure Correlations in Program Flow Graphs
  4. ISCAS-SKLCS-11-04: Yuxin Deng, Yu Zhang, Program Equivalence in Linear Contexts
  5. ISCAS-SKLCS-11-05: Jia Liu, A Proof of Coincidence of Labeled Bisimilarity and Observational Equivalence in Applied Pi Calculus
  6. ISCAS-SKLCS-11-06: Dongxu Wang, Wencheng Wang, Progressive Exact Distance Transform
  7. ISCAS-SKLCS-11-07: Jing LI, Wencheng WANG, Efficient Point-in-Polygon Testing Based on Grid Central Points (In Chinese)
  8. ISCAS-SKLCS-11-08: Jing LI, Wencheng WANG, Optimizing Grid Construction in Linear Complexity (In Chinese)
  9. ISCAS-SKLCS-11-09: Xiaoxiao Yang, ITL+: Simulation and Verication of Lock-Freedom
  10. ISCAS-SKLCS-11-10: Jing Li, Wencheng Wang, Point-in-Polygon Tests by Determining Grid Center Points in Advance
  11. ISCAS-SKLCS-11-11: Yi Lv, Bounded Verification of Memory Consistency for Chip Multi-Processor
  12. ISCAS-SKLCS-11-12: Feifei Ma, Jun Yan, Jian Zhang, Solving Generalized Optimization Problems Subject to SMT Constraints
  13. ISCAS-SKLCS-11-13: Zhenyu Zhang, A Dynamic Fault Localization Technique with Noise Reduction for Java Programs
  14. ISCAS-SKLCS-11-14: Zhenyu Zhang, Enhance Fault Localization using a 3D Surface Representation
  15. ISCAS-SKLCS-11-15: Zhenyu Zhang, PAFL: Fault Localization via Noise Reduction on Coverage Vector
  16. ISCAS-SKLCS-11-16: Wenhui Zhang, Complexity Issues of Ternary Boolean Diagrams
  17. ISCAS-SKLCS-11-17: Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng, ITL+ : A Temporal Programming Model with Atomic Blocks (Extended Version)
  18. ISCAS-SKLCS-11-18: Guangwei WANG, Guofu XIE, Wencheng WANG, Lighting Computing by Increasing Lightcuts Through Space Clustering Analysis (In Chinese)
  19. ISCAS-SKLCS-11-19: GEORGE BARMPALIAS, ADAM R. DAY, ANDREW E.M. LEWIS, THE TYPICAL TURING DEGREE
  20. ISCAS-SKLCS-11-20: GEORGE BARMPALIAS, UNIVERSAL COMPUTABLY ENUMERABLE SETS AND INITIAL SEGMENT PREFIX-FREE COMPLEXITY
  21. ISCAS-SKLCS-11-21: GEORGE BARMPALIAS, DAVID L. DOWE, UNIVERSALITY PROBABILITY OF A PREFIX-FREE MACHINE
  22. ISCAS-SKLCS-11-22: MARTIJN BAARTSE, GEORGE BARMPALIAS, ON THE GAP BETWEEN TRIVIAL AND NONTRIVIAL INITIAL SEGMENT PREFIX-FREE COMPLEXITY
  23. ISCAS-SKLCS-11-23: Shuling Wang, Naijun Zhan, Chaochen Zhou, and Dimitar Guelev, An Assume/Guarantee Based Compositional Logic for Hybrid CSP
  24. ISCAS-SKLCS-11-24: Ming Xu, Zhibin Li, Symbolic Termination Analysis of Solvable Loops
  25. ISCAS-SKLCS-11-25: Jiang Liu, Ming Xu, Naijun Zhan, Hengjun Zhao, Detecting Strong Nontermination of Multi-Path Polynomial Programs
  26. ISCAS-SKLCS-11-26: Xiaohui Bie, Haoda Huang, Wencheng Wang, Real Time Edit Propagation by Efficient Sampling
  27. ISCAS-SKLCS-11-27: Xiaohui Bie, Haoda Huang, Wencheng Wang, Free Appearance-Editing with Improved Poisson Image Cloning
  28. ISCAS-SKLCS-11-28: Zhenyu Zhang, On the Adoption of MC/DC and Control-Flow Adequacy for a Tight Integration of Program Testing and Statistical Fault Localization
  29. ISCAS-SKLCS-11-29: Zhenyu Zhang, A general noise-reduction framework for fault localization of Java programs
  30. ISCAS-SKLCS-11-30: Zhenyu Zhang, FLOP: A Fault Localization Open Platform
  31. ISCAS-SKLCS-11-31: Zhenyu Zhang, Boost Prioritization by Depressing Safe Test Cases
  32. ISCAS-SKLCS-11-32: Liang Du, Xuan Li, Yidong Shen, User Graph Regularized Pairwise Matrix Factorization for Item Recommendation
  33. ISCAS-SKLCS-11-33: Yidong Shen, Kewen Wang, Extending Logic Programs with Description Logic Expressions for the Semantic Web
  34. ISCAS-SKLCS-11-34: Liang Du, Xuan Li, Yidong Shen, Cluster Ensembles Via Weighted Graph Regularized Nonnegative Matrix Factorization
  35. ISCAS-SKLCS-11-35: Yidong Shen, Well-Supported Semantics for Description Logic Programs
  36. ISCAS-SKLCS-11-36: Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song, Enhanced Symbolic Simulation of a Round-robin Arbiter
  37. ISCAS-SKLCS-11-37: Yongjian Li, William N. N. Hung, Xiaoyu Song, Naiju Zeng, Exploring Structural Symmetry Automatically in Symbolic Trajectory Evaluation
  38. ISCAS-SKLCS-11-38: Yongjian Li, Jun Pang, An Inductive Approach to Provable Anonymity
  39. ISCAS-SKLCS-11-39: Yongjian Li, William N. N. Hung, Xiaoyu Song, A Novel Formalization of Symbolic Trajectory Evaluation Semantics in Isabelle/HOL
  40. ISCAS-SKLCS-11-40: Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song, Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE
  41. ISCAS-SKLCS-11-41: Yongjian Li, Jun Pang, An Inductive Approach to Strand Spaces
  42. ISCAS-SKLCS-11-42: Thomas Ehrhard, Ying Jiang, CCS for Trees
  43. ISCAS-SKLCS-11-43: Jianhua Gao, Ying Jiang, Model Checking : A Coalgebraic Approach
  44. ISCAS-SKLCS-11-44: Deepak Kapur, Naijun Zhan, Hengjun Zhao, Synthesizing Switching Controllers by Continuous Invariant Generation
  45. ISCAS-SKLCS-11-45: Naijun Zhan, Hengjun Zhao, Optimal Switching Controller Synthesis for Safety and Robustness—A Case Study
  46. ISCAS-SKLCS-11-46: Guofu XIE, Wencheng WANG, Single-Pass Data Access for Multi-Fragment Effects Rendering on GPUs (In Chinese)
  47. ISCAS-SKLCS-11-47: Wencheng Wang, Miao Hua, Extracting Dominant Textures in Real Time with Multi-scale Color Histograms
  48. ISCAS-SKLCS-11-48: Honglei HAN, Wencheng WANG, Linear Texture Coordinate Interpolation in Rasterization (In Chinese)
  49. ISCAS-SKLCS-11-49: Lixiao Zheng, Haiming Chen, Determinacy and Rewriting of Conjunctive Queries Over Unary Database Schemas
  50. ISCAS-SKLCS-11-50: Olivier Ly, Zhilin Wu, On Effective Construction of the Greatest Solution of Language Inequality XA ⊆ BX
  51. ISCAS-SKLCS-11-51: Yunhe Wang, Li Jiao, Using Transition Set Sequences to Partition Behaviors of Petri Nets
  52. ISCAS-SKLCS-11-52: Xueyang Zhu, Marc Geilen, Twan Basten, Sander Stuijk, Retiming Synchronous Dataflow Graphs through a State-Space Exploration
  53. ISCAS-SKLCS-11-53: Xueyang Zhu, Twan Basten, Marc Geilen, Sander Stuijk, Efficient Retiming of Multi-rate DSP Algorithms
  54. ISCAS-SKLCS-11-54: Xueyang Zhu, Static Rate-Optimal Scheduling of Multi-Rate DSP Algorithms via Retiming and Unfolding
  55. ISCAS-SKLCS-11-55: Haiming Chen, Ping Lu, Diagnosing Nondeterministic Content Models of DTD and XML Schema
  56. ISCAS-SKLCS-11-56: Zhao Quan, Jidong Lv, Liang Zou, Shuling Wang, Naijun Zhan, Tao Tang, Modelling and Verication of CTCS-3
  57. ISCAS-SKLCS-11-57: Xiaoquan Wu, Zhongxing Xu, Jun Wei, Static Detection of Bugs Caused by Incorrect Exception Handling in Java Programs
  58. ISCAS-SKLCS-11-58: Naijun Zhan, Jiaqi Zhu, An Automata Model for Real-time Component Interfaces




Copyright © State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Powered by MediaWiki