位置：成果数据库 > 会议 > 会议详情页
A New Proof For The Undecidability of Context-Sensitive Synchronization-Sensitive Analysis
  • 所属机构名称：湖南大学
  • 会议名称：FCST 2010
  • 成果类型：会议
  • 会场：Jilin
  • 相关项目：基于模型检查的软件错误定位技术研究
作者： Miaoli|Zhang Dafang|
同会议论文项目
基于模型检查的软件错误定位技术研究
期刊论文 45 会议论文 9
同项目会议论文
A Regular Expression Matching Algorithm Using Transition Merging
Measurement and Evaluation Performance of Stream-media Service Based on Active Measurement
A Byte-Filtered String Matching Algorithm for Fast Deep Packet Inspection
Design and Implementation of a Network Behavior Analysis-oriented IP Network Measurement System
An Adaptive Sampling Methodology for Internet Traffic Data Measurement
A Partition-based Broadcast Algorithm over DHT for Large-Scale Computing Infrastructures
A Token-based Broadcast Algorithm over DHT for Large-Scale Computing Infrastructures
An Activeness-Based Seed Choking Algorithm for Enhancing BitTorrent's Robustness