地图     English
学术论文 2011

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

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


2014年 2013年 2012年 2011年 2010年 2009年 2008年 2007年 往年期刊论文
  1. 吴敬征,王永吉,丁丽萍,云计算环境下隐蔽信道关键问题研究,通信学报,Vol.32,No.9A,PP.184-203
  2. 翟健,杨秋松,肖俊超,李明树,一种形式化的基于组件的软件过程建模方法,软件学报,Vol.22,No.1,PP.001-016
  3. 杜晶,杨叶,王青,李明树,基于证据的可信软件过程评估方法,计算机科学与探索,Vol.5,No.6,PP.501-512
  4. 何治民,舒风笛,杨叶,李明树,王青,An investigation on the feasibility of cross-project defect prediction,Journal of Automated Software Engineering
  5. 王永吉,吴敬征,曾海涛,丁丽萍,一种基于并发冲突间隔时间的隐蔽信道检测方法,计算机研究与发展, Vol.48, No.8, PP.1542 - 1553
  6. 廖晓锋,王永吉,周津慧,关贝,一种领域专家文献自动收集系统,计算机系统应用
  7. 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
  8. 费辉,张云泉,王可,许亚武,基于GPU的分子动力学模拟并行化及实现,计算机科学,Vol.38,No.9,PP. 275-278
  9. 解庆春,张云泉,王可,李焱,许亚武,SIMD技术与向量数学库研究,计算机科学,Vol.38,No.7,PP.298-301
  10. 马翠霞,任磊,滕东兴,王宏安,戴国忠,云制造环境下的普适人机交互技术,计算机集成制造系统, Vol.17, No.3, PP.504-510
  11. 陈明炫,邓昌智,任磊,田丰,戴国忠,一种基于模型驱动的笔式界面开发框架研究,电子学报, Vol.39, No.2, P.268-274
  12. 樊银亭,滕东兴,汪恭正,杨海燕,王宏安,戴国忠,虚拟家居定制系统中的自适应用户界面实现机制,计算机辅助设计与图形学学报,Vol.23,No.4,PP.705-712
  13. 滕东兴,王子璐,杨海燕,王宏安,戴国忠,基于交互式可视组件的分析决策环境研究,计算机学报, Vol.34, No.3, PP.3555-3565
  14. 杨海燕,陈佳,何利力,滕东兴,戴国忠,王宏安,基于草图的超视频构造方法及关键技术研究,计算机研究与发展, Vol.48, No.2, PP.289-295
  15. 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
  16. 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
  17. 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
  18. Jinyi Cai,Pinyan Lu,Mingji Xia,Computational Complexity of Holant Problems,SIAM Journal on Computing,Vol.40,No.4,PP.1101-1132
  19. 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
  20. 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
  21. 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
  22. Linqing Tang,On the Derandomization of the Graph Test for Homomorphism over Groups,Theoretical Computer Science,Vol.412,No.18,PP.1718-1728
  23. Gilles Dowek,Ying Jiang,On the expressive power of schemes,Information and Computation,Vol.209,No.9,PP.1231-1245
  24. Xiaohui Bie,Haoda Huang,Wencheng Wang,Real time edit propagation by efficient sampling,Computer Graphics Forum,Vol.30,No.7,PP.2041-2048
  25. 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
  26. George Barmpalias,Strings with trivial Kolmogorov Complexity,International Journal of Software and Informatics,Vol. 5,No.4,PP.609-623
  27. 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
  28. Manindra Agrawal,Angsheng Li,Theory and applications of models of computation,Theoretical Computer Science,Vol.412,No.18,PP.1645
  29. 部德振,带时间约束的LTL性质的模型检测的实现,计算机工程与设计,Vol.32,No.2,PP.564-567
  30. 韩红雷,王文成,光栅化时的线性纹理插值,计算机辅助设计与图形学学报,Vol.23,No.6,PP.999-1005
  31. 华淼,陈昕,王文成,简捷的主纹理提取方法,计算机辅助设计与图形学学报,Vol.23,No.1,PP.46-53
  32. 李静,王文成,线性复杂度的网格优化划分,软件学报,Vol.22,No.10,PP.2488-2496
  33. Yongguo Liu,Xindong Wu ,Yidong Shen,Automatic clustering using genetic algorithms,Applied Mathematics and Computation ,Vol.218,No.4,PP.1267-1279
  34. Angsheng Li,Pan Peng,Community Structures in Classical Network Models,Internet Mathematics,Vol.7,No.2,PP.81-106
  35. 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
  36. 谢国富,王文成,单遍数据读取的GPU上的多片元效果绘制,计算机学报,Vol.34,No.3,PP.473-481
  37. Rahul Jain,Zhengfeng Ji,Sarvagya Upadhyay,John Watrous,QIP = PSPACE,Journal of ACM,Vol.58,No.6
  38. 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
  39. 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
  40. Markus Grassl,Zhengfeng Ji,Zhaohui Wei,Bei Zeng,Quantum-capacity-approaching codes for the detected-jump channel,Rev.A,Vol.82



2014年 2013年 2012年 2011年 2010年 2009年 2008年 2007年 往年会议论文
  1. 石琳,钟浩,谢涛,李明树,An Empirical Study on Evolution of API Documentation,FASE2011,2011.3.26-4.3
  2. 杨秋松,张备,翟健,李明树,Attacking Dimensionality Problem of Parameterized Systems via Bounded Reachability Graph,FSEN2011,2011.4.20-4.22
  3. 吴敬征,丁丽萍,王永吉,韩伟,A Practical Covert Channel Identification Approach in Source Code based on Directed Information Flow Graph,SSIRI2011,2011.6.27-6.29
  4. 吴敬征,丁丽萍,王永吉,韩伟,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,9月
  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



2014年 2013年 2012年 2011年 2010年 2009年 2008年 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: 李静, 王文成,基于网格中心点的点在多边形内的高效判定
  8. ISCAS-SKLCS-11-08: 李静, 王文成,线性复杂度的网格优化划分
  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: 王光伟,谢国富,王文成,基于空间聚类增强lightcuts的光照计算
  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: 谢国富, 王文成,单遍数据读取的GPU上的多片元效果绘制
  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: 韩红雷, 王文成,光栅化时的线性纹理插值
  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




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