首页> 外文OA文献 >Model Checking and Performance Evaluation with CADP Illustrated on Shared-Memory Mutual Exclusion Protocols

【2h】

Model Checking and Performance Evaluation with CADP Illustrated on Shared-Memory Mutual Exclusion Protocols

机译：共享内存互斥协议中的CADP模型检查和性能评估

代理获取

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

页面导航

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

摘要

International audience

机译：国际观众

著录项

作者
Mateescu, Radu; Serwe, Wendelin;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols [J] . Radu Mateescu, Wendelin Serwe Science of Computer Programming . 2013,第7期

机译：在共享内存互斥协议中说明了使用CADP进行模型检查和性能评估
2. Evaluating and designing software mutual exclusion algorithms on shared-memory multiprocessors [J] . Zhang X., Yan Y. IEEE parallel & distributed technology . 1996,第1期

机译：在共享内存多处理器上评估和设计软件互斥算法
3. Shared-memory mutual exclusion: major research trends since 1986 [J] . James H. Anderson, Yong-Jik Kim, Ted Herman Distributed Computing . 2003,第2a3期

机译：共享内存互斥：1986年以来的主要研究趋势
4. A Study of Shared-Memory Mutual Exclusion Protocols Using CADP [C] . Radu Mateescu, Wendelin Serwe Formal methods for industrial critical systems . 2010

机译：使用CADP的共享内存互斥协议的研究
5. Recoverable Mutual Exclusion Algorithms for Crash-Restart Shared-Memory Systems [D] . Joshi, Anup. 2021

机译：用于崩溃重启共享存储系统的可恢复的互斥算法
6. Evaluation of the truebeam machine performance check (MPC): mechanical and collimation checks [O] . Michael P Barnes, Peter B Greer 2017

机译：评估Truebeam机器性能检查（MPC）：机械和准直检查
7. Model Checking and Performance Evaluation with CADP Illustrated on Shared-Memory Mutual Exclusion Protocols [O] . Radu Mateescua, Wendelin Serwea 2014

机译：共享内存互斥协议CaDp模型检测与性能评估

Model Checking and Performance Evaluation with CADP Illustrated on Shared-Memory Mutual Exclusion Protocols

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅