TR 2011

时间：2019-07-22 分类：Technical Reports

ISCAS-SKLCS-11-01: Zhenyu Zhang，Non-Parametric Statistical Fault Localization
ISCAS-SKLCS-11-02: Zhenyu Zhang，Slope: Statistical Fault Localization via Failed Program Executions
ISCAS-SKLCS-11-03: Zhenyu Zhang，Precise Propagation of Fault-Failure Correlations in Program Flow Graphs
ISCAS-SKLCS-11-04: Yuxin Deng，Yu Zhang，Program Equivalence in Linear Contexts
ISCAS-SKLCS-11-05: Jia Liu，A Proof of Coincidence of Labeled Bisimilarity and Observational Equivalence in Applied Pi Calculus
ISCAS-SKLCS-11-06: Dongxu Wang, Wencheng Wang，Progressive Exact Distance Transform
ISCAS-SKLCS-11-07: 李静, 王文成，基于网格中心点的点在多边形内的高效判定
ISCAS-SKLCS-11-08: 李静, 王文成，线性复杂度的网格优化划分
ISCAS-SKLCS-11-09: Xiaoxiao Yang，ITL+: Simulation and Verication of Lock-Freedom
ISCAS-SKLCS-11-10: Jing Li, Wencheng Wang，Point-in-Polygon Tests by Determining Grid Center Points in Advance
ISCAS-SKLCS-11-11: Yi Lv，Bounded Verification of Memory Consistency for Chip Multi-Processor
ISCAS-SKLCS-11-12: Feifei Ma, Jun Yan, Jian Zhang，Solving Generalized Optimization Problems Subject to SMT Constraints
ISCAS-SKLCS-11-13: Zhenyu Zhang，A Dynamic Fault Localization Technique with Noise Reduction for Java Programs
ISCAS-SKLCS-11-14: Zhenyu Zhang，Enhance Fault Localization using a 3D Surface Representation
ISCAS-SKLCS-11-15: Zhenyu Zhang，PAFL: Fault Localization via Noise Reduction on Coverage Vector
ISCAS-SKLCS-11-16: Wenhui Zhang，Complexity Issues of Ternary Boolean Diagrams
ISCAS-SKLCS-11-17: Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng，ITL+ : A Temporal Programming Model with Atomic Blocks (Extended Version)
ISCAS-SKLCS-11-18: 王光伟，谢国富，王文成，基于空间聚类增强lightcuts的光照计算
ISCAS-SKLCS-11-19: GEORGE BARMPALIAS, ADAM R. DAY, ANDREW E.M. LEWIS，THE TYPICAL TURING DEGREE
ISCAS-SKLCS-11-20: GEORGE BARMPALIAS，UNIVERSAL COMPUTABLY ENUMERABLE SETS AND INITIAL SEGMENT PREFIX-FREE COMPLEXITY
ISCAS-SKLCS-11-21: GEORGE BARMPALIAS, DAVID L. DOWE，UNIVERSALITY PROBABILITY OF A PREFIX-FREE MACHINE
ISCAS-SKLCS-11-22: MARTIJN BAARTSE, GEORGE BARMPALIAS，ON THE GAP BETWEEN TRIVIAL AND NONTRIVIAL INITIAL SEGMENT PREFIX-FREE COMPLEXITY
ISCAS-SKLCS-11-23: Shuling Wang,Naijun Zhan,Chaochen Zhou,and Dimitar Guelev，An Assume/Guarantee Based Compositional Logic for Hybrid CSP
ISCAS-SKLCS-11-24: Ming Xu, Zhibin Li，Symbolic Termination Analysis of Solvable Loops
ISCAS-SKLCS-11-25: Jiang Liu, Ming Xu, Naijun Zhan, Hengjun Zhao，Detecting Strong Nontermination of Multi-Path Polynomial Programs
ISCAS-SKLCS-11-26: Xiaohui Bie, Haoda Huang, Wencheng Wang，Real Time Edit Propagation by Efficient Sampling
ISCAS-SKLCS-11-27: Xiaohui Bie, Haoda Huang, Wencheng Wang，Free Appearance-Editing with Improved Poisson Image Cloning
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
ISCAS-SKLCS-11-29: Zhenyu Zhang，A general noise-reduction framework for fault localization of Java programs
ISCAS-SKLCS-11-30: Zhenyu Zhang，FLOP: A Fault Localization Open Platform
ISCAS-SKLCS-11-31: Zhenyu Zhang，Boost Prioritization by Depressing Safe Test Cases
ISCAS-SKLCS-11-32: Liang Du, Xuan Li, Yidong Shen，User Graph Regularized Pairwise Matrix Factorization for Item Recommendation
ISCAS-SKLCS-11-33: Yidong Shen, Kewen Wang，Extending Logic Programs with Description Logic Expressions for the Semantic Web
ISCAS-SKLCS-11-34: Liang Du, Xuan Li, Yidong Shen，Cluster Ensembles Via Weighted Graph Regularized Nonnegative Matrix Factorization
ISCAS-SKLCS-11-35: Yidong Shen，Well-Supported Semantics for Description Logic Programs
ISCAS-SKLCS-11-36: Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song，Enhanced Symbolic Simulation of a Round-robin Arbiter
ISCAS-SKLCS-11-37: Yongjian Li, William N. N. Hung, Xiaoyu Song, Naiju Zeng，Exploring Structural Symmetry Automatically in Symbolic Trajectory Evaluation
ISCAS-SKLCS-11-38: Yongjian Li,Jun Pang，An Inductive Approach to Provable Anonymity
ISCAS-SKLCS-11-39: Yongjian Li, William N. N. Hung, Xiaoyu Song，A Novel Formalization of Symbolic Trajectory Evaluation Semantics in Isabelle/HOL
ISCAS-SKLCS-11-40: Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song，Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE
ISCAS-SKLCS-11-41: Yongjian Li,Jun Pang，An Inductive Approach to Strand Spaces
ISCAS-SKLCS-11-42: Thomas Ehrhard, Ying Jiang，CCS for Trees
ISCAS-SKLCS-11-43: Jianhua Gao, Ying Jiang，Model Checking : A Coalgebraic Approach
ISCAS-SKLCS-11-44: Deepak Kapur, Naijun Zhan, Hengjun Zhao，Synthesizing Switching Controllers by Continuous Invariant Generation
ISCAS-SKLCS-11-45: Naijun Zhan, Hengjun Zhao，Optimal Switching Controller Synthesis for Safety and Robustness—A Case Study
ISCAS-SKLCS-11-46: 谢国富, 王文成，单遍数据读取的GPU上的多片元效果绘制
ISCAS-SKLCS-11-47: Wencheng Wang, Miao Hua，Extracting Dominant Textures in Real Time with Multi-scale Color Histograms
ISCAS-SKLCS-11-48: 韩红雷, 王文成，光栅化时的线性纹理插值
ISCAS-SKLCS-11-49: Lixiao Zheng, Haiming Chen，Determinacy and Rewriting of Conjunctive Queries Over Unary Database Schemas
ISCAS-SKLCS-11-50: Olivier Ly, Zhilin Wu，On Effective Construction of the Greatest Solution of Language Inequality XA ⊆ BX
ISCAS-SKLCS-11-51: Yunhe Wang，Li Jiao，Using Transition Set Sequences to Partition Behaviors of Petri Nets
ISCAS-SKLCS-11-52: Xueyang Zhu，Marc Geilen，Twan Basten，Sander Stuijk，Retiming Synchronous Dataflow Graphs through a State-Space Exploration
ISCAS-SKLCS-11-53: Xueyang Zhu，Twan Basten，Marc Geilen，Sander Stuijk，Efficient Retiming of Multi-rate DSP Algorithms
ISCAS-SKLCS-11-54: Xueyang Zhu，Static Rate-Optimal Scheduling of Multi-Rate DSP Algorithms via Retiming and Unfolding
ISCAS-SKLCS-11-55: Haiming Chen，Ping Lu，Diagnosing Nondeterministic Content Models of DTD and XML Schema
ISCAS-SKLCS-11-56: Zhao Quan，Jidong Lv，Liang Zou，Shuling Wang，Naijun Zhan，Tao Tang，Modelling and Verication of CTCS-3
ISCAS-SKLCS-11-57: Xiaoquan Wu，Zhongxing Xu，Jun Wei，Static Detection of Bugs Caused by Incorrect Exception Handling in Java Programs
ISCAS-SKLCS-11-58: Naijun Zhan，Jiaqi Zhu，An Automata Model for Real-time Component Interfaces