分类与摘要
关注大规模并行算法、超算平台和性能优化，是 HPC 方向的重要条目。
引用
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
@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}
}| 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 |