位置：成果数据库 > 会议 > 会议详情页
基于 Java 内存模型的并发程序模型检测
  • 所属机构名称：湖南大学
  • 会议名称：第五届中国测试学术会议
  • 成果类型：会议
  • 会场：苏州
  • 相关项目：基于流分析的分布式Java程序模型检查技术研究
作者： 张大方|黄 谷|缪 力|赵 丹|周志远|
同会议论文项目
基于流分析的分布式Java程序模型检查技术研究
期刊论文 56 会议论文 14 专利 6
同项目会议论文
An Activeness-Based Seed Choking Algorithm for Enhancing BitTorrent's Robustness
A Token-based Broadcast Algorithm over DHT for Large-Scale Computing Infrastructures
A New Algorithm for the Longest Common Subsequence Problem
An Improve Algorithm for the Longest Common Subsequence Problem
Improving Rollback- Recovery Efficiency by Tuning Pessimism Grain
A Coarse-Grained Pessimistic Message Logging Scheme for Improving Roll-back Recovery Efficiency
A Regular Expression Matching Algorithm Using Transition Merging
An Adaptive Sampling Methodology for Internet Traffic Data Measurement
A Coarse-Grained Pessimistic Message Logging Scheme for Improving Roll-back Recovery Efficiency
A New Algorithm for the Longest Common Subsequence Problem
WPathload ：一种改进的可用带宽测量方法
A Byte-Filtered String Matching Algorithm for Fast Deep Packet Inspection.
A Partition-based Broadcast Algorithm over DHT for Large-Scale Computing Infrastructures