Local State Reusing for Efficient Model Checking of Multithreaded Programs

Junrui ZhouHong AnYunyun WangJunshi Chen

高性能计算与并行算法方向论文：Local State Reusing for Efficient Model Checking of Multithreaded Progra

↗在线页面Official page ◇DOI

内容导读Reading note

分类与摘要Category & abstract

关注大规模并行算法、超算平台和性能优化，是 HPC 方向的重要条目。

Metadata

完整论文信息Full record

title: Local State Reusing for Efficient Model Checking of Multithreaded Programs
title_zh: 待补充
abstract: 待补充
abstract_zh: 待补充
keywords: HPC, Architecture, 学位认定 C, CCF C
year: 2015
published_date: 待补充
online_date: 待补充
paper_type: Conference
publication_status: Published
volume: 待补充
issue: 待补充
pages: 待补充
article_number: 待补充
publisher: 待补充
doi: 10.1007/978-3-319-27140-8_36
research_area: 高性能计算与并行算法
tags: HPC, Architecture, 学位认定 C, CCF C
category: 高性能计算与并行算法
summary: 关注大规模并行算法、超算平台和性能优化，是 HPC 方向的重要条目。
authors: Junrui Zhou, Hong An, Yunyun Wang, Junshi Chen
corresponding_authors: 安虹
affiliations: 待补充
funding: 1

Research area

高性能计算与并行算法

Citation

Junrui Zhou, Hong An, Yunyun Wang, and Junshi Chen，Local State Reusing for Efficient Model Checking of Multithreaded Programs，Proceedings of 15th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2015), LNCS v9528, Zhangjiajie, China,Nov.18-20, 2015,p521-538

BibTeX

@article{acsa2015_109,
  title = {Local State Reusing for Efficient Model Checking of Multithreaded Programs},
  year = {2015},
  doi = {10.1007/978-3-319-27140-8_36}
}