Map     中文
Papers 2009

From State Key Laboratory of Computer Science

Main Page > Research > Papers > Papers 2009
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. Angsheng Li, Weilin Li, Yicheng Pan, Liqing Tang, Principal Filters Definable by Parameters in EbT, Math. Struct.in Comp. Science, VOL.19, PP.153-167
  2. Angsheng Li, Elementary Differences Among Jump Classes, Theoretical Computer Science, VOL.410, PP.1042-1053
  3. Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan, Refinement and Verification in Component-Based Model-Driven Design, Science of Computer programming, VOL.74, PP.168-196
  4. Weiwei LV, Weiliang MENG, Gaichao XUE Enhua WU, Real-Time Approximate Soft Shadow Rendering on GPU (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, VOL.21, NO.3, PP.275-288
  5. Wei Chen, Wenhui Zhang, A Direct Construction of Polynomial-Size OBDD Proof of Pigeon Hole Problem, Information Processing Letters, VOL.109, PP.472-477
  6. Wang Wencheng, Liu Feitong, Huang Peijie, Wu Enhua, Texture Synthesis via the Matching Compatibility between Patches (In Chinese), Science in China Series F: Information Sciences,VOL.52, NO.3 PP.512-522
  7. Jing LI, Wencheng WANG, Enhua WU, Ray Tracing of Dynamic Scenes by Managing Empty Regions in Adaptive Boxes (In Chinese), Chinese Journal of Computers,VOL.32, NO.6, PP.1172-1182
  8. Xin CHEN, Wencheng WANG, Real-Time Synthesis of Large Textures (In Chinese), Journal of Software, VOL.20, PP. 193-201
  9. Hui RUAN, Jun YAN, Jian ZHANG, Infinite Loop Detection Based on Path Analysis (In Chinese), Chinese Journal of Computers, VOL.32, NO.9,PP.1750-1758
  10. Juan YAN, Jian ZHANG, Combinatorial Testing: Principles and Methods (In Chinese), Journal of Software, VOL.20, NO.6, PP.1394-1405
  11. Qiwen Xu, Naijun Zhan, Formalising Scheduling Theories in Duration Calculus Nordic Journal of Computing, VOL.14, PP.173-201
  12. Peng Zhang, Mingji Xia, An Approximation Algorithm to the k-Steiner Forest Problem, Theoretical Computer Science, VOL.410, PP.1093-1098
  13. Li JIAO, Weiming LU, Liveness of Petri Nets and Its Applications (In Chinese), Communications of the CCF, VOL.5, NO.10, PP.12-15
  14. Gilles Dowek, Ying Jiang, Enumerating Proofs of Positive Formulae, The Computer Journal,VOL.52, NO.7, PP.799-807
  15. Yanyan XU, Weiya YUE, BDD-Based Incremental Heuristic Search (In Chinese), Journal of Software, VOL.20, NO.9, PP.2352-2365
  16. KAZMI Syed Asad Raza, Wenhui ZHANG, Compositional Reasoning in Intuitionistic Linear-Time ?-Calculus, Journal of Software, VOL.20, NO.8, PP.2026-2036
  17. Liang Xu, Wei Chen, Yanyan Xu, Wenhui Zhang, Improved Bounded Model Checking for the Universal Fragment of CTL, Journal of Computer Science and Technology, VOL.24, NO.1, PP.96-109
  18. Dong Yunmei, Linear Algorithm for Lexicographic Enumeration of CFG Parse Trees, Science in China Series F: Information Sciences, VOL.52, NO.7, PP.1177-1202
  19. Yidong Shen, Danny De Schreye, Dean Voets, Termination Prediction for General Logic Programs, Theory and practice of Logic Programming,VOL. 9, NO.6, PP.751-780
  20. Yidong Shen, Jiahuai You, Liyan Yuan, Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms, Theory and practice of Logic Programming, VOL.9, NO.4, PP.529-564
  21. Huacheng QI, Guangquan ZHANG, Xiaofang ZHANG, Behavior-driven model of component interaction adaptation (In Chinese), COMPUTER ENGINEERING AND APPLICATIONS, VOL.45, NO.21
  22. CHEN Daox CHEN, Mei RONG, Guangquan ZHANG, Model Checking of the SET Protocol Using Spin (In Chinese), COMPUTER ENGINEERING AND SCIENCE, VOL.31, NO.9
  23. Sheng WANG, Guangquan ZHANG, Xiaofang ZHANG, A strategy for service fault tolerance in SOA (In Chinese), JOURNAL OF SUZHOU UNIVERSITY NATURAL SCIENCE, VOL.25, NO.3
  24. Ling WANG, Guangquan ZHANG, Sheng WANG, Yali HE, Research on dynamic evolution of symmetrical aspect-oriented software architecture (In Chinese), JOURNAL OF SUZHOU UNIVERSITY NATURAL SCIENCE EDITION, VOL.25, NO.4
  25. Chuanliang XIA, A Method to Transform Timed Petri Nets to Timed Automata (In Chinese), Journal of System Simulation, VOL.20, PP.6-8
  26. Shiguang LIU, Jiawei CHAI, Yuan WEN, A New Method for Fast Simulation of 3D Clouds (In Chinese), JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT (In Chinese), VOL.46, NO.9, PP.1417-1423
  27. Yuncheng JIANG, Ju WANG, Peimin DENG, Yong TANG, Shengming ZHOU, Semantics and Reasoning of Description Logic uALCIO (In Chinese), Chinese Journal of Computers, VOL.32, NO.7, PP.1280-1290
  28. Yuncheng JIANG, Suqin TANG, Computing Most Specific Concept in Description Logic with n-Ary Existential Quantifier (In Chinese), Chinese Journal of Computers, VOL.32, NO.8, PP.1500-1510
  29. Yuneheng JIANG, Suqin TANG, Ju WANG Shengming ZHOU, Computing Most Specific Concept in Description Logic with Transitive Roles and Existential Restrictions, JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT, VOL.46, NO.6, PP.99-987
  30. Shengming ZHOU, Ju WANG, Yuneheng JIANG, Action Reasoning Independent of Designer (In Chinese), JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT, VOL.46, NO.11, PP.1917-1924
  31. Y.Y.Du, B.Q.Guo, Logic Petri Nets and Equivalency, Information Technology Journal, VOL.8, NO.1, PP.95-100
  32. Fuxin Zhang , Yuyue Du, A Process Generation Approach of Dynamic Workflows Based Description Logics, Information Technology Journal, VOL.8, NO.7, PP.998-1005
  33. Wei Liu, Yuyue Du, Modeling Multimedia Synchronization Using Petri Nets, Information Technology Journal , VOL.8, NO.7, PP.1054-1058
  34. Peng Li, Yuyue Du, Modeling and Design for Dynamic Workflows Based on Flexible Activities, Information Technology Journal, VOL.8, NO.5, PP.750-756
  35. Wei Liu, Yuyue Du, Haichun Sun, Soundness Analysis of T-Restricted Interorganizational Logical Workflow Nets, Information Technology Journal, VOL.8, NO.6, PP.821-829
  36. Yan TANG, Yuyue DU, Wei LIU, Design of Trusted Software Based on MDA and Executable Formalization (In Chinese), Computer Engineering, VOL.35, NO.19, PP. 138-140
  37. Fuxin ZHANG, Yuyue DU, Improved algorithm of generation for smallest cut sets and safety testing of interlocking system model (In Chinese), APPLICATION RESEARCH OF COMPUTERS, VOL.26, NO.8, PP.3039-3043
  38. Hachun SUN, Yuyue DU, A New Software Development Method Based on Programming Petri Nets (In Chinese), Journal of System Simulation, VOL.20, PP.55-58
  39. Yueming ZHOU, Yuyue DU, Modelling and Research on Cooperation Workflow Based on Petri Nets (In Chinese), Journal of System Simulation, VOL.20, PP.90-93
  40. Wenjing LUAN, Yuyue DU, Modelling and Analysis of Library Lending Systems Based on Logic Petri Nets (In Chinese), Journal of System Simulation, VOL.20, PP.82-85
  41. Jie ZHANG, Yuyue DU, Design of Water Conservancy and Hydropower Application Systems Based on OFBiz and J2EE (In Chinese), JOURNAL OF SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY(NATURAL SCIENCE), VOL.28, NO.1, PP.83-88
  42. Weiliang MENG, Jinzhong WU, Weiwei LV, Enhua WU, An Improved Approach for Generation of Intermediate Deformation Models in Shape Space (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, VOL.21, NO.7, PP.943-948
  43. Kai Bao, Hui Zhang, Lili Zheng, Enhua Wu, Pressure Corrected SPH for Fluid Animation, Computer Animation and Virtual Worlds, VOL.20, PP.311-320
  44. Peijie HUANG, Yuanting GU, Xiaolong WU, Yanyun CHEN, Enhua WU, Time-varying Clustering for Local Lighting and Material Design (In Chinese), Science in China Series F: Information Sciences, VOL.52, NO.2, PP.1-12
  45. Peijie HUANG, Lihua ZHU, Xuehui LIU, EnhuaWU, Chuanming WANG,Automatic Abstraction of Image Sequences for Real-Time Visual Communication (In Chinese), ACTA ELECTRONICA SINICA, VOL.37, NO.4, PP.42-56
  46. Jian ZHU, Enhua WU, GPU Based Real-Time Rendering of Spherical Depth Image (In Chinese), Chinese Journal of Computers, VOL.32, NO.2, PP.231-240
  47. Shen ZHANG, Yongji WANG, Li RUAN, Personal Software Process Capability Assessment Method (In Chinese), Journal of Software, VOL.20, NO.12, PP.3137-3149
  48. Yin LI, Juan LI, Mingshu LI, Research on Dynamic Requirement Traceability Method and Traces Precision (In Chinese), Journal of Software, VOL.20, NO.2,PP. 177-192
  49. Mingshu LI, QiuSong YANG, Jian ZHAI, Systematic Review of Software Process Modeling and Analysis (In Chinese), Journal of Software, VOL.20, NO.3, PP.524-545
  50. Qiusong YANG, Mingshu LI, Heuristic Symbolic Verification of Safety Properties for Parameterized Systems (In Chinese), Journal of Software, VOL.20, NO.6, PP.1444-1456
  51. Nao LI, Ming-Shu LI, Qing WANG, Chen ZHAO, Shuanzhu DU, Adaptive Agent Negotiation for Software Process Modeling (In Chinese), Journal of Software, VOL.20, NO.3, PP.557-566
  52. Qiuming TAO, Chen ZHAO, Yongji WANG, An Automated Method of Test Program Generation for Compiler Optimizations Based on Process Graph (In Chinese), JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT, VOL.46, NO.9, PP.1567-1577
  53. Li RUAN, Yongji WANG, Qing WANG, Haitao ZENG, Benchmarking Software Task Performance Based on Data Envelopment Analysis (In Chinese), Journal of Software, VOL.20, NO.6, PP.1499-1510
  54. Haitao ZENG, Yongji WANG, Wei ZU, Jiayong CAI, Li RUAN, New Definition of Small Message Criterion and Its Application in Transaction Covert Channel Mitigating (In Chinese), Journal of Software, VOL.20, NO.4, PP.985-996
  55. Beihong Jin, Xinchao Zhao, Zhenyue Long, Fengliang Qi, Shuang Yu, Effective and Efficient Event Dissemination for RFID Applications, The Computer Journal, VOL.52, NO. 8, PP.988-1005
  56. Tao WANG, Jun WEI, Component-based Software Reengineering Based on OSGi (In Chinese), JOURNAL OF FRONTIERS OF COMPUTER SCIENCE & TECHNOLOGY, VOL.3, NO.6, PP.601-611
  57. Fengliang QI, Beihong JIN, Haibiao CHEN, Zhenyue LONG, On Primitive Subscription Management and Matching in Publish/Subscribe System (In Chinese), Computer Science, VOL.36, NO.12, PP.111-114
  58. Yuxin Tang, Yunquan Zhang, Hu Chen, A Parallel Shortest Path Algorithm Based on Graph-Partitioning and Iterative Correcting, Computer Systems Science & Engineering, VOL.24, NO.5, PP.351-360
  59. Shengfei LIU, Yunquan ZHANG, Di ZHANG, Self-index compressing and searching tool for DBF tables, APPLICATION RESEARCH OF COMPUTERS (In Chinese), VOL.26, NO.2, PP.628-630
  60. Gang SONG Mengqi JIANG, Yunquan ZHANG, Shengfei LIU, Parallel compression with gzip on shared-memory systems (In Chinese), COMPUTER ENGINEERING AND DESIGN, VOL.30, NO.4, PP.781-784
  61. E YUAN, Yunquan ZHANG, Xiangzheng SUN, RAM(h)Memory access complexity analysis of SpMV in RAM(h)model (In Chinese), COMPUTER ENGINEERING AND DESIGN, VOL.30, NO.3, PP.613-618
  62. Zelin HU, Yunquan ZHANG, Cache optimized parallel join algorithm (In Chinese), COMPUTER ENGINEERING AND DESIGN, VOL.30, NO.20, PP.4581-4584
  63. Xiangqian WANG, Yunquan ZHANG, Xiaowen HOU, Design of Dynamic Analysis Toolkit for Parallel Computational Model Parameters (In Chinese), COMPUTER ENGINEERING , VOL.35, NO.10, PP.30-32
  64. Ting WANG, Xiangzheng SUN, Yunquan ZHANG, Chao YANG, Ligang LI, Fangfang LIU, Performance Evaluation of the Simulation Software on Dawning 5000A for Large Scale Celestial Bodies (In Chinese), JOURNAL OF XI'AN JIAOTONG UNIVERSITY, VOL.43, NO.10, PP.73-75
  65. Yingying JIANG, Xiang AO, Feng TIAN, Xugang WANG, Guozhong DAI, Error Correction for Handwritten Mathematical Expression Recognition by Pen and Speech (In Chinese), JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT, VOL.46, NO.4, PP.689-697
  66. Yingying JIANG, Feng TIAN,, Xugang WANG, Guozhong DAI, Adaptive Symbol Recognition for Sketch-Based Interfaces Based on Template Matching and SVM (In Chinese), Chinese Journal of Computers, VOL.32, NO.2, PP.252-260
  67. E YUAN, Yunquan ZHANG, Fangfang LIU, Xiangzheng SUN, Automatic Performance Tuning of Sparse Matrix-Vector Multiplication:Implementation Techniques and Its Application Research (In Chinese), JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT, VOL.46, NO.7, PP.1117-1126
  68. Xuanqiang WANG, Xiangqian WANG, Yunquan ZHANG, HPCC Diagnostic Test and Results Analysis on IBM BladeCenter Cluster (In Chinese), Computer Engineering, VOL.35, NO.7, PP.242-244
  69. Zelin HU, Yunquan ZHANG, Jin WANG, Xianyi ZHANG, P-Quant Wiz: A Parallel Label-Free Quantification Software Based on Mass Spectrometry (In Chinese),Computer Engineering and Science, VOL.31, NO.11, PP.124-127


Year 2014 Year 2013 Year 2012 Year 2011 Year 2010 Year 2009 Year 2008 Year 2007 Conference Papers Before 2007
  1. Xiaohui Ji, Feifei Ma, Jian Zhang, Solving Global Unconstrained Optimization Problems by Symmetry-Breaking, ICIS 2009, 6.1-6.3
  2. Xin Chen, Wencheng Wang, Texture Synthesis by Interspersing Patches in a Chessboard Pattern, VRCAI 2009, 12.14-12.15
  3. Wei Chen, Wenhui Zhang, Bounded Model Checking of ACTL Formulae,TASE 2009, 7.29-7.31
  4. Jinyi Cai, Pinyan Lu, Mingji Xia, A Computational Proof of Complexity of Some Restricted Counting Problems, TAMC 2009, 5.19-5.20
  5. Guangyuan Li, Checking Timed Buchi Automata Emptiness Using LU-Abstractions, FORMATS 2009
  6. Hongtao Huang, On Detecting Regular Predicates in Distributed System, ATVA 2009
  7. Yanyan Xu, Weiya Yue, Kaile Su, The BDD-Based Dynamic A Algorithm for Real-Time Replanning, FAW 2009, 6.21
  8. Yanyan Xu, Weiya Yue, A Generalized Framework for BDD-Based Replanning A Search, 2009 10th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing, 5.27-5.29
  9. Xiang Zhou, CFI Construction and Balanced Graphs, FAW 2009
  10. Yidong Shen, Jiahuai You , A Default Approach to Semantics of Logic Programs with Constraint Atoms, LPNMR 2009, 9.14-9.18
  11. Hong Pan, Yi Lv, Huimin Lin, Environment Abstraction with State Clustering and Parameter Truncating, TASE 2009, 7.29-7.31
  12. Jianfeng Du, Guilin Qi, Qiu Ji, Goal-Directed Module Extraction for Explaining OWL DL Entailments, ISWC 2009, 10.25-10.29
  13. Jun Sun, Zhiyong Shen, Bai Su, Yidong Shen, Regularized Local Reconstruction for Clustering, PAKDD 2009, 4.27-4.30
  14. Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yidong Shen, A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL, ISWC 2009, 10.25-10.29
  15. Lixiao Zheng, Duanyi Wu, A Sentence Generation Algorithm for Testing Grammars, COMPSAC 2009, 7.20-7.24
  16. Lixiao Zheng, Haiming Chen, A Systematic Framework for Grammar Testing, 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science, 12.19-12.20
  17. Feifei Ma, Sheng Liu, Jian Zhang, Volume Computation for Boolean Combination of linear Arithmetic Constraints, CADE-22, 8.2-8.7
  18. Guangquan Zhang, Mei Rong, Ling Wang, Yali He, Hui Wei, Modeling and Analysis for Web Services Composition Based on Dynamic Software Architecture, 2009 Sixth Web Information Systems Applications Conference, 9.18-9.20
  19. Sheng Wang , Guangquan Zhang, Xiaofang Zhang, Yang Yang, A Method for Detecting Behavioral Mismatching Web Services, 2009 Sixth Web Information Systems Applications Conference, 9.18-9.20
  20. Qi Huacheng, Rong Mei, Zhang Guangquan, A Behavior-Driven Model of Component Interaction Adaptation, 2009 4th International Conference on Computer Science & Education, 7.25-7.28
  21. Chen Daoxi, Zhang Guangquan, Fan Jianxi, Abstraction Framework and Complexity of Model Checking Based on the Promela Models, 2009 4th International Conference on Computer Science & Education, 7.25-7.28
  22. Kong Junqi, Wang Hui, Zhang Guanquan, Gesture Recognition Model Based on 3D Accelerations, 2009 4th International Conference on Computer Science & Education, 7.25-7.28
  23. Chuanliang Xia, Property Preservation and Application of a Kind of Petri Net Synthesis, 2009 International Symposium on Intelligent Information Systems and Applications, 10.28-10.30
  24. Chuanliang Xia, ProPerty Preservation of Petri Refinement Net, CSIE 2009, 3.31-4.2
  25. Chuanliang Xia, Translation Methods from Timed Automata to Time Petri Nets, 2009 CISE, 12.11-12.13
  26. Chuanliang Xia, Translation from Time Petri Nets to Timed Automata , BMEI 2009, 10.17-10.19
  27. Jian Zhu, Youquan Liu, kai Bao, Yuanzhang Chang, Enhua Wu, Warping of A Spherical Representation of Image-Based Models on GPU, VRCAI 2009, 12.14-12.15
  28. Shixue Zhang, Enhua Wu, An Improved Method for Generating Multiresolution Animation Models, 2009 11th IEEE International Conference on Computer-Aided Design and Computer Graphics, 8.19-8.21
  29. Xiaolong Wu, Enhua Wu, Bubble Creation and Multi-fluids Interaction, 2009 11th IEEE International Conference on Computer-Aided Design and Computer Graphics, 8.19-8.21
  30. Yuanzhang Chang, kai Bao, Youquan Liu, Jian Zhu, Enhua Wu, A Particle-Based Method for Viscoelastic Fluids Animation , VRST 2009, 11.18-11.20
  31. Shixue Zhang, Enhua Wu, Multiresolution Animation Models Generation Based on Deformation Distance Analysis, ICCMS 2009, 2.20-2.22
  32. Yuanzhang Chang, kai Bao, Youquan Liu, Jian Zhu, Enhua Wu, Particle Importance Based Fluid Simulation, CGIV 2009, 8.11-8.14
  33. Yuanzhang CHANG, Youquan LIU柳, Kai BAO, Jian ZHU, Enhua WU, A Unified Particle-Based Method for Newtonian and Viscoelastic Fluids Animation (In Chinese), CIDE 2009, 8.15-8.17
  34. Shaohui JIAO, Xin CHEN, Gang YANG, Enhua WU, Cartoon Fur Texture Synthesis and Replacement (In Chinese), CIDE 2009, 8.15-8.17
  35. Zhenyue Long, Beihong Jin, Fengliang Qi, Donglei Cao, Reuse Strategies in Distributed Complex Event Detection, 2009 Ninth International Conference on Quality Software, 8.24-8.25
  36. Xiangzheng SUN, Yunquan ZHANG, Ting WANG, Chao YANG, Ligang LI, Performance Testing and Analysis of Large Scale Celestial Body Simulation software on Lenovo Shenteng 7000 (In Chinese), 2009 China National Computer Conference, 10.23-10.24
  37. Jing Wang, Yunquan Zhang, Xianyi Zhang, Xiangzheng Sun, Zelin Hu, Sujun Li, QuantWiz: A Parallel Software Package for LC-MS-based Label-free Protein Quantification, 2009 11th IEEE international Conference on High Performance Computing and Communications, 12.19-12.22
  38. Yuxin Tang, Yunquan Zhang, Xiangzheng Sun, LogGP(h): Incorporating Communication Hierarchy into the LogGP Model, 2nd International Symposium on parallel Architectures,Algorithms and Programming, 12.4-12.6
  39. Xianyi Zhang, Yunquan Zhang, Xiangzheng Sun, Fangfang Liu, Shengfei Liu, Yuxin Tang, Automatic Performance Tuning of SpMV on GPGPU, HPC Asia & APAN 2009, 3.2-3.6
  40. Xiongfei Luo, Hongan Wang, Feng Tian, Wei Liu, Dongxing Teng, Guozhong Dai, ProcessLine: Visualizing Time-Series Data in Process Industry, IEEE Symposium on VAST 2009, 10.12-10.13
  41. Xinjie Lu, Xin Li, Tian Yang, Zaifei Liao, Wei Liu, Hangan Wang, RRPS:A Ranked Real-Time Publish/Subscribe Using Adaptive QoS, ICCSA 2009, 6.29-7.2
  42. Xinjie Lu, Tian Yang, Zaifei Liao, Manzoor Elahi, Wei Liu, Hongan Wang, Incremental Outlier Detection in Data Streams Using Local Correlation Integral, 24th Annual ACM Symposium on Applied Computing 2009, 3.9-3.12
  43. Tian Yang, Xinjie Lu, Zaifei Liao, Wei Liu, Hongan Wang, SVM Based Decision Analysis and Its Granular-Based Solving, ICCSA 2009, 6.29-7.2
  44. Tian Yang, Zaifei Liao, Xinjie Lu, Hongan Wang, An Approximate Approach to Constraint Solving in Soft Sensing, 24th Annual ACM Symposium on Applied Computing 2009, 3.9-3.12
  45. Zaifei Liao, Tian Yang, Xinjie Lu, Hongan Wang, Data Prediction in Manufacturing: An Improved Approach Using Least Squares Support Vector Machines, DBTA 2009, 4.25-4.26
  46. Tian Yang, Zaifei Liao, Xinjie Lu, Hongan Wang, Quality Skyline in Senor Database, DBTA 2009 4.25-4.26
  47. Yingying Jiang, Feng Tian, Xugang Wang, Xiaolong Zhang, Guozhong Dai, Hongan Wang, Structuring and Manipulating Hand-Drawn Concept Maps , 2009 International Conference on Intelligent User Interfaces, 2.8-2.11
  48. Ma Cuixia, Du Yi, Teng Dongxing, Chen Jia, Wang Hongan, Dai Guozhong, An Adaptive Sketching User Interface for Education System in Virtual Reality, ITME 2009, 8.14-8.16
  49. Yunquan ZHANG, State-of-Art Analysis and Perspectives of 2009 China HPC (In Chinese), HPC China 2009, 10.29-10.30
  50. Yunquan ZHANG, Analysis and Perspective of 2009 HPC TOP100 (In Chinese), Workshop on High Performance Algorithm Software 2009, 11.26-11.27
  51. Lei WANG, Yunquan ZHANG, Fangfang LIU, Analysis and Testing of Implementation Mechanism of PLASMA Efficient Parallel LU-Decomposition (In Chinese), HPC China 2009, 10.28-10.30
  52. Liang YUAN, Yunquan ZHANG, Research on Locality Property of Parallel Programming Languages (In Chinese), HPC China 2009, 10.28-10.30
  53. Fangfang LIU, Yunquan ZHANG, A Kind of Hybrid-Storage-Format SpMV Performance Optimization of Sparse Matrixes (In Chinese), HPC China 2009, 10.28-10.30


Year 2014 Year 2013 Year 2012 Year 2011 Year 2010 Year 2009 Year 2008 Year 2007 Technical Reports Before 2007
  1. ISCAS-LCS-09-01: Wenhui Zhang, Bounded Semantics of CTL and SAT-based Verification
  2. ISCAS-LCS-09-02: Xin Chen, Wencheng Wang, Texture Synthesis by Interspersing Patches in a Chessboard Pattern
  3. ISCAS-LCS-09-03: Teng Long, Wenhui Zhang, Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems
  4. ISCAS-LCS-09-04: Miaomiao Zhang, Zhiming Liu, Naijun Zhan, Model Checking Linear Duration Invariants of Networks of Automata
  5. ISCAS-LCS-09-05: Dimitar P. Guelev, Naijun Zhan, On Satisfiability in the Modal Fixpoint Logic with Chop
  6. ISCAS-LCS-09-06: Qiwen Xu, Naijun Zhan, Rate Monotonic Scheduling Re-analysed
  7. ISCAS-LCS-09-07: Zizhen Wang, Hanpin Wang, Naijun Zhan, Refinement of Models of Software Components
  8. ISCAS-LCS-09-08: Bican Xia, Lu Yang, Naijun Zhan, Zhihai Zhang, Symbolic Decision Procedure for Termination of Linear Programs
  9. ISCAS-LCS-09-09: Lu Yang, Chaochen Zhou, Naijun Zhan, Bican Xia, Recent Advances in Program Verification Through Computer Algebra
  10. ISCAS-LCS-09-10: Xueyang Zhu, Retiming Multi-Rate DSP Algorithms to Meet Real-Time Requirement
  11. ISCAS-LCS-09-11: Haiming Chen, Derivatives of Regular Expressions



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