Map     中文
Papers 2007

From State Key Laboratory of Computer Science

Main Page > Research > Papers > Papers 2007
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. Peijie HUANG, Wencheng WANG, Gang YANG, Enhua WU, Accelerating Ray-Tracing Using Proxy Polygons (In Chinese), CHINESE JOURNAL OF COMPUTERS, Vol.30, No.2, PP. 262-271
  2. Jing LI, Wencheng WANG, Enhua WU, Line Clipping Against a Polygon Based on Convex Decomposition (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, Vol.19, No.4, PP. 425-429
  3. Gang YANG, Hanqiu SUN, Wencheng WANG, Enhua WU, Real-Time Fur Representation with Non-Uniform Layers of Textured Slices (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, Vol.19, No.4, PP. 430-435
  4. Jin LI, Wencheng WANG, Enhua WU, Efficient Point-in-polygon Testing Based on Convex Decomposition (In Chinese), Progress in Natural Science, Vol.17, No.7, PP. 995-1000
  5. Hao-Da huang, Xin Tong, Wen-Cheng Wang, Accelerated Parallel Texture Optimization, Jouranal of Computer Science and Technology, Vol.22, No.5, PP. 761-769
  6. Jing Li, Wencheng Wang, Enhua Wu, Point-in-polygon Tests by Convex Decomposition, Computers & Graphics, Vol.37, PP. 636-648
  7. Jiang Ying, Zhang Guo-Qiang, Weakly Distributive Domains, Frot. Comput.Sci. China, Vol.1, No.4, PP. 373-384
  8. Mingji Xia, Peng Zhang, Wenbo Zhao, Computational Complexity of Counting Problems on 3-Regular Planar Graphs, Theoretical Computer Science, Vol384, PP. 111-125
  9. Ying GAO, Yiyun CHEN, A Comparable Code Obfuscation Framework Measuring Efficiency Based on Abstract Interpretation (In Chinese), Chinese Journal of Computers, Vol.30, No.5, PP. 806-814
  10. Peng Zhang, A New Approximation Algorithm for the K-facility Location Problem, Theoretical Computer Science, Vol.384, PP. 126-135
  11. Yi LV, Yuan WANG, Xiaolin LI , 3A Utilization Mode of Service Grid (In Chinese), ACTA ELECTRONICA SINICA, Vol.35, No.2, PP. 292-298
  12. Xiangyun WANG, Wenhui ZHANG, Peng WANG, Yongchao LI, Kaiyuan CAI, A software design method based on supervisory control theories: method of changing state properties (In Chinese), CONTROL THEORY & APPLICATIONS, Vol.24, No.2, PP. 187-199
  13. Pu Fei, Zhang Wenhui, Combining Search Space Partition and Abstraction for LTL Model Checking, Science in China F: Information Sciences, Vol.50, No.6, PP. 793-810
  14. Zhilin Wu, A Not on the Characterization of Tl[EF], Information Processing Letters, Vol.102, PP. 48-54
  15. Zhlin WU, Wenhui ZHANG, The Complexity of Dual Models Problem of Propositional Linear Temporal Logics (In Chinese), Journal of Software, Vol.18, No.7, PP. 1573-1581
  16. Xiangyun Wang, Wenhui Zhang, Yongchao Li, Kaiyuan Cai, A Polynomial Dynamic System Approach to Software Design for Attractivity Requirement, Information Sciences, Vol.177, PP. 2712-2725
  17. Chuanliang XIA, Li JIAO, Weiming LU, Property Analysis of Synthesis of Petri Nets Shared PP-Type Subnets (In Chinese), Journal of Software, Vol.18, No.1, PP. 22-32
  18. Chuanliang XIA, Liveness Analysis of Petri Nets Synthesis Shared T-Type Subnets (In Chinese), JOURNAL OF SYSTEM SIMULATION, Vol.19, PP. 4-8
  19. Chuanliang XIA, Petri Nets Synthesis-shared PB-type Subnet and Its Applications in System Design (In Chinese), JOURNAL OF SYSTEM SIMULATION, Vol.19, No.4, PP. 846-851
  20. Li JIAO, Weiming LU, Synthesis and Property-Preservation of Petri Net Systems Based on Shared Places (In Chinese), CHINESE JOURNAL OF COMPUTERS, Vol.30, No.3, PP. 352-360
  21. Zhou Chaochen, Duration Calculus, Logics of Specification Languages, PP. 609-611
  22. Xueyang ZHU, The Dual Software Architecture Description Framework XYZ/ADL (In Chinese), JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT, Vol.44, No.9, PP. 1485-1494
  23. Yuan Feng, Runyao Duan, Zhengfeng Ji, Mingsheng Ying, Probabilistic Bisimulations for Quantum Processes, Information and Computation, Vol.205, PP. 1608-1639
  24. Weiwei[ LV, Xuehui LIU, Gaichao XUE, Enhua WU, Real-Time Soft Shadow Rendering of Dynamic Scenes Using Circle Splats Approximation (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, Vol.19, No.12, PP. 1587-1592
  25. Haiming Chen, Rudolf Freund, Mihai Ionescu, Gheorghe Paun, Mario J. Perez-Jimenez, On String Languages Generated by Spiking Neural P Systems, Fundamenta Informaticae, Vol.75, PP. 141-162
  26. Chen Haiming, Tseren-Onolt Ishdorj, Gheorghe Paun, Computing along the Axon, Progress in Natural Science, Vol.17, No.4, PP. 417-423
  27. Xiaohui JI, Jian ZHANG, Constraint Processing (In Chinese), ACTA AUTOMATICA SINICA, Vol.33, No.2, PP. 125-131
  28. Yunji CHEN, Jian ZHANG, Haihua SHEN, Weiwu HU, A SAT-Based Arithmetic Circuit Bug-Hunting Method (In Chinese), CHINESE JOURNAL OF COMPUTERS, Vol.30, No.12, PP. 2082-2089
  29. Enhua Wu, Hongbin Zhu, Xuehui Liu, Youquan Liu, Simulation and Interaction of Fluid Dynamics, Visual Comput., Vol.23, PP. 299-308
  30. Xiaoying Li, Baoquan Liu, Enhua Wu, Full Solid Angle Panoramic Viewing by Depth Image Warping on Field Programmable Gate Array, The International Journal of Virtual Reality, Vol.6, No.2, PP. 69-77
  31. Baoquan LIU, Xuehui LIU, Enhua WU, Real-Time Rendering Depth Images on GPU by Forward Warping (In Chinese), JOURNAL OF SOFTWARE, Vol.6, No.18, PP. 1531-1542
  32. Yuanting GU, Enhua WU, A Method of Texture Feature Analysis and Synthesis (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, Vol.19, No.12, PP. 1535-1539
  33. Ying LIU, Xuehui LIU, Enhua WU, An Mode-Based Connectivity Compression for Triangular Meshes (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, Vol.19, No.6, PP. 703-707
  34. Yong ZHANG, Tao HUANG, Ningjiang CHEN, Beihong JIN, Online Model Estimating-Based Performance Guarantee Mechanism for Dynamic Web Site (In Chinese), Journal of Software, Vol.18, No.7, PP. 1660-1671
  35. Zhang Yunquan, Chen Guoliang, Sun Guangzhong, Miao Qiankun, Models of Parallel Computation: A Survey and Classification, Front. Comput. Sci. China, Vol.1, No.2, PP. 156-165
  36. Yunquan ZHANG, Research on the Framework of Next Generation HPC Benchmark Package (In Chinese), HIGH PERFORMANCE COMPUTING TECHNOLOGY, Vol.184, No.2, PP. 11-16
  37. Hu CHEN, Yunquan ZHANG, Kai LIU, Yucheng LI, Research on Improvement of Parallel Middleware for SQL on Beowulf Cluster (In Chinese), JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT, Vol.44, PP. 142-146
  38. Yang LI, Ningjiang CHEN, Beihong JIN, Lin ZUO, Tao HUANG, A Self-Management Unit-Based and Differentiated Service-Enable Web Container (In Chinese), JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT, Vol.44, No.8, PP. 1418-1428
  39. Jianjun HU, Heqing GUAN, Jun WEI, Tao HUANG, A Performance Model-Based Self-Configuration Framework for Middleware (In Chinese), JOURNAL OF SOFTWARE, Vol.19, No.8, PP. 2117-2129
  40. Liang SUN, Fang ZHAO, Yongji WANG, DENGENE:DENGENE: High Accurate Density-based Clustering Algorithm for Gene Expression Data (In Chinese), APPLICATION RESEARCH OF COMPUTERS, Vol.24, No.4, PP. 58-61
  41. Nasro Min-Allah, Wang Yongji, Jian-Sheng Xing, Wasif Nisar, Asad-Raza Kazmi, Towards Dynamic Voltage Scaling in Real-Time Systems-A Survery, International Journal of Computer Science and Engineering Systems, Vol.2, No.1, PP. 93-103
  42. Fang YU, Juan LI, Xiaocheng WANG, Yongji WANG, Research on Function Point Analysis (In Chinese), Computer Science, Vol.34, No.11, PP. 245-251
  43. Wei CHEN,Yunzhi XUE, Chen ZHAO, Mingshu LI, A Method for Testing Real-Time System Based on Timed Automata (In Chinese), Journal of Software, Vol.18, No.1, PP. 62-73
  44. Mingshu LI, Mei HE, Da YANG, Fengdi SHU, Qing WANG, Software Cost Estimation Method and Application (In Chinese), JOURNAL OF SOFTWARE, Vol.18, No.4, PP. 775-795
  45. Fengdi SHU, Yuzhu ZHAO, Jizhe WANG, Mingshu LI, User-Driven Requirements Elicitation Method with the Support of Personalized Domain Knowledge (In Chinese), JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT, Vol.44, No.6, PP. 1044-1052


Year 2014 Year 2013 Year 2012 Year 2011 Year 2010 Year 2009 Year 2008 Year 2007 Conference Papers Before 2007
  1. Yi Lv, Huimin Lin, Hong Pan:Computing Invariants for Parameter Abstraction,MEMOCODE2007,2007
  2. Hao-da Huang, Yanyun Chen, Xing Tong, Wen-cheng Wang, Incremental Wavelet Importance Sampling for Direct IIIumination,VRST2007,2007
  3. Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou, Discovering Non-linear Ranking Function by Solving Semi-algebraic Systems(Invited Talk),Theoretical Aspects of Computing-ICTAC 2007,2007
  4. Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Generating Polynomial Invariants with DISCOVERER and QEPCAD,Formal Methods and Hybrid Real-Time Systems,2007
  5. Yi-Dong Shen, Jia-Huai You, A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints ,Twenty-Second AAAI Conference on Artificial Intelligence,2007
  6. Jia-Huai You, Li Yan Yuan, Guohua Liu, Yi-Dong Shen, Logic Programs with Abstract Constraints: Representaton , Disjunction and Complexities,Logic Programming and Nonmonotonic Reasoning,2007
  7. Jianfeng Du, Yi-Dong Shen, Partitioning Sboxes Based on Converting DL to Plain Datalog,2007 International Workshop on Description Logics,2007
  8. Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan, A Model of Component-Based Programming,International Symposium on FSEN2007,2007
  9. Jin Yi, Wenhui Zhang, Efficient State Space Reduction for Automata by Fair Simulation,International Symposium on FSEN2007,2007
  10. Wenhui Zhang, Model Checking with SAT-Based Characterization of ACTL Formulas,9th International Conference on Formal Engineering Methods,ICFEM2007,2007
  11. Jin Yi, Wenhui Zhang, Enhancing Simulation for Checking Language Containment,4th International Conference TAMC2007,2007
  12. Fei Pu, Wenhui Zhang, Parition Reinaement in Abstract Model Cheing,Theoretical Aspects of Software Engineering,2007
  13. Zhilin Wu, On the Expressive Power of QLTL,Theoretical Aspects of Computing-ICTAC 2007,2007
  14. Takashi Kitamura, Huimin Lin, Controlling Process Modularity in Mobile Computing,Theoretical Aspects of Computing-ICTAC 2007,2007
  15. Xinxin Liu, Haiyan Chen, Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau,Theoretical Aspects of Computing-ICTAC 2007,2007
  16. Wenhui Zhang, SAT-Based Verification of LTL Formulas,Formal Methods : Applications and Technology,2007
  17. Yanyan Xu, Wei Chen, Liang Xu, Wenhui Zhang, Evaluation of SAT-based Bounded Model Checking of ACTL Properties,TASE 2007,2007
  18. Xiao Wei Huang, Li Jiao, Weiming Lu, A Semantic Preorder on Refinement and Fairness,TASE 2007,2007
  19. Wenhui Zhang, Verification of ACTL Properties by Bounded Model Checking,Computer Aided Systems Theory-EUROCAST2007
  20. Xiaowei Huang, Li Jiao, Weiming Lu*, What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security,ICICS 2007,2007
  21. Zhengfeng Ji, Jianxin Chen, Zhaohui Wei, Mingsheng Ying, The LU-LC Conjecture is False,The Eleventh Workshop on Quantum Information Processing,2007
  22. Weiwei Lv, Xuehui Liu, Enhua Wu, EOF:Elliptical Occlusion Field for Real-time Soft Shadow Rendering in Animated Scenes,Symposium on Computer Animation2007
  23. Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng, Improvements for the Symbolic Verification of Timed Automata,FORTE2007,2007
  24. Xinxin Liu, Expansive-Bisimulation for Context-Free Processes,Formal Methods and Hybrid Real-Time Systems, 2007
  25. Sheng Liu, Jian Zhang, Binhai Zhu, Volume Computation Using a Direct Monte Carlo Method,COCOON2007,2007
  26. Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen*, Adding Delimited and Composable Control to a Production Programming Environment,ICFP07,2007
  27. Daguang Liu, Peng Wu, Huimin Lin, Symbolic Test Generation Using a Temporal Logic with Constrained Events,Formal Methods and Hybrid Real-Time Systems, 2007
  28. Yongjian Li, Jun Pang, Extending the Strand Space Method to Verify Kerberos V,Eighth International Conference on Parallel and Distributed Computing,Applications and Technologies,2007
  29. Yongjian Li, Mechanized Proofs for the Parameter Abstraction and Guard Strengthening Principle in Parameterized Verification of Cache Coherence Protocols,Applied Computing 2007,2007
  30. Shixue Zhang, Enhua Wu, Deforming Surface Simplification Based on Feature Preservation,ICEC2007
  31. Bin Sheng, Enhua Wu, Topology-Consistent Design for 3D Freeform Meshes with Harmonic Interpolation,ICEC2007
  32. Bin Sheng, Enhua Wu, Image-Based Model Reconstruction Using Textured Planes,the Fourth International Conference on Image and Graphics,2007
  33. Bin Sheng, Enhua Wu, Progressive Deformation Based Approximation on Deforming Meshes,the Fourth International Conference on Image and Graphics,2007
  34. Jinzhong Wu, Xuehui Liu, Enhua Wu, Mesh Deormation under Skeleton-Based Detail-Preservation,10th IEEE International Conference Computer-Aided Design and Computer Graphics,2007
  35. Yuanting Gu, Enhua Wu, Feature Analysis and Texture Synthesis,10th IEEE International Conference Computer-Aided Design and Computer Graphics,2007
  36. Ying Liu, Xuehui Liu, Enhua Wu, Variable Code-Mode Based Connectivity Compression for Triangular Meshes,10th IEEE International Conference Computer-Aided Design and Computer Graphics,2007
  37. Qinghua Wu, Enhua Wu, Image Segmentation and Reconstruction Using Graph Cuts and Texton Mask,10th IEEE International Conference Computer-Aided Design and Computer Graphics,2007
  38. Yanci Zhang, Hanqiu Sun, Enhua Wu, B-Spline Surfaces of Clustered Point Sets with Normal Maps,10th IEEE International Conference Computer-Aided Design and Computer Graphics,2007
  39. Hongbin Zhu, Kai Bao, Xuehui Liu, Enhua Wu, Miscible Liquid-Llquid Interactions Based-on a Stabilized Two-Fluid LBM,Symposium on Computer Animation 2007
  40. Hongbin Zhu, Kai Bao Enhua Wu, Stable and Efficient Miscible Liquid-liquid Interactions,VRST 2007,2007
  41. Bin Sheng, Enhua Wu, Walking into Images:Virtual Plane Mosaics for Plenoptic Modeling,IEEE Virtual Reality 2007,2007

Year 2014 Year 2013 Year 2012 Year 2011 Year 2010 Year 2009 Year 2008 Year 2007 Technical Reports Before 2007
  1. lSCAS-LCS-07-01, Jin YI, Effcient State Space Reduction for Automata by Fair Simulation
  2. lSCAS-LCS-07-02, Jing LI, Wencheng WANG, Enhua WU, Ray Tracing by Managing Empty Regions in Adaptive Boxes (In Chinese)
  3. lSCAS-LCS-07-03, Mingren Chai, Nan Qu, Ying Jiang,Tree Process Calculus
  4. lSCAS-LCS-07-04, Jun Yan,A Backtracking Search Tool for Constructing Combinatorial Test Suites
  5. ISCAS-LCS-07-05, Feifei Ma, Jian Zhang,Searching for Orthogonal Arrays
  6. lSCAS-LCS-07-06, Yonghui WU, Property of Normalization Design of XML Database Schema Under the Condition that the Dependency Set of Confliction Labels is Empty (In Chinese)
  7. lSCAS-LCS-07-07, Yunhe Wang,Li Jiao,About the Reachability Graph Approach to Analysis of Petri Nets},
  8. lSCAS-LCS-07-08, Haiming Chen, Lei Chen,The Complexity of Inclusion Problem for One-Unambiguous Regular Expressions


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