首页> 外文OA文献 >On Efficient Models for Model Checking Message-Passing Distributed Protocols ⋆

【2h】

On Efficient Models for Model Checking Message-Passing Distributed Protocols ⋆

机译：关于模型检查消息传递分布式协议的有效模型

代理获取

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

页面导航

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

著录项

作者
Péter Bokor; Marco Serafini; Neeraj Suri; Technische Universität Darmstadt;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Efficient distributed SAT and SAT-based distributed Bounded Model Checking [J] . Malay K. Ganai, Aarti Gupta, Zijiang Yang, International Journal on Software Tools for Technology Transfer . 2006,第4a5期

机译：高效的分布式SAT和基于SAT的分布式有界模型检查
2. Model-based performance evaluation of distributed checkpointing protocols [J] . Adnan Agbaria, Roy Friedman Performance Evaluation . 2008,第5期

机译：基于模型的分布式检查点协议的性能评估
3. Efficient model checking of properties of a distributed application: a multimedia case study [J] . Nicola Mazzocca, Antonella Santone, Gigliola Vaglini, Software Testing, Verification and Reliability . 2002,第1期

机译：分布式应用程序属性的有效模型检查：多媒体案例研究
4. On Efficient Models for Model Checking Message-Passing Distributed Protocols [C] . Peter Bokor, Marco Serafini, Neeraj Suri Formal techniques for distributed systems . 2010

机译：关于模型验证消息传递分布式协议的有效模型
5. A model for efficient real-time distributed computing middleware incorporating a fine-grained program-segment-level deadline-based scheduling policy and an efficient checkpoint-based replication scheme. [D] . Li, Yuqing. 2005

机译：一种高效的实时分布式计算中间件的模型，该模型结合了细粒度的程序段级别的基于期限的调度策略和基于有效检查点的复制方案。
6. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking [O] . Gregory Batt, Michel Page, Irene Cantone, -1

机译：使用符号模型检查对监管网络的定性模型进行有效的参数搜索
7. On Efficient Models for Model Checking Message-Passing Distributed Protocols [O] . Bokor, Péter, Serafini, Marco, Suri, Neeraj 2010

机译：关于模型验证消息传递分布式协议的有效模型
8. Model Checking Cache Coherence Protocols for Distributed File Systems [R] . Vaziri-Farahani, M. 1995

机译：模型检查分布式文件系统的缓存一致性协议

On Efficient Models for Model Checking Message-Passing Distributed Protocols ⋆

著录项

引文网络

相似文献

相关主题

期刊订阅