首页> 外文OA文献 >Rely-guarantee bound analysis of parameterized concurrent shared-memory programs

【2h】

Rely-guarantee bound analysis of parameterized concurrent shared-memory programs

机译：依靠保证参数化并发共享内存程序的绑定分析

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Thomas Pani; Georg Weissenbacher; Florian Zuleger;
展开▼
作者单位

展开▼
年度 2021
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A model-free and state-cover testing scheme for semaphore-based and shared-memory concurrent programs [J] . Gwan-Hwan Hwang, Che-Sheng Lin, Teng-Shuo Lee, Software Testing, Verification and Reliability . 2014,第8期

机译：基于信号量和共享内存的并发程序的无模型和状态覆盖测试方案
2. Location pairs: a test coverage metric for shared-memory concurrent programs [J] . Serdar Tasiran, M. Erkan Keremoglu, Kivanc Muslu Empirical Software Engineering . 2012,第3期

机译：位置对：共享内存并发程序的测试覆盖率指标
3. Safe optimisations for shared-memory concurrent programs [J] . ?ev?ík Jaroslav ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2011,第6期

机译：共享内存并发程序的安全优化
4. Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs [C] . Vineet Kahlon IEEE Computer Society Technical Committee on Mathematical Foundations of Computing . 2008

机译：参数化作为抽象：一种易于对并发程序的数据流分析的方法
5. Improving the quality of shared-memory concurrent programs [D] . Liu, Peng 2014

机译：提高共享内存并发程序的质量
6. Human fixed-interval performance with concurrently programmed schedules: A parametric analysis [O] . Roger Poppen 1982

机译：具有固定编程时间表的人为固定间隔绩效：参数分析
7. The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs [O] . Qiwen Xu, Willem-Paul de Roever, Jifeng He 1997

机译：验证共享变量并发程序的Reli-Guarantee方法
8. Reasoning about Concurrent Programs: Refining Rely-Guarantee Thinking. [R] . Hayes, I. J., Jones, C. B., Colvin, R. J. 2013

机译：关于并行计划的推理：完善保证思维。

Rely-guarantee bound analysis of parameterized concurrent shared-memory programs

著录项

引文网络

相似文献

相关主题

期刊订阅