首页> 外文OA文献 >Verifying Transaction Ordering Properties in Unbounded Bus Networks Through Combined Deductive/algorithmic Methods

【2h】

Verifying Transaction Ordering Properties in Unbounded Bus Networks Through Combined Deductive/algorithmic Methods

机译：通过演绎/算法相结合的方法验证无限制公交网络中的交易顺序属性

页面导航

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

著录项

作者
Michael Jones; Ganesh Gopalakrishnan;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation [J] . Jean Fortin, Frederic Gava International journal of parallel programming . 2016,第3期

机译：BSP-为什么：带有子组同步的BSP算法演绎验证工具
2. Verification of clock synchronization algorithms: experiments on a combination of deductive tools [J] . Damian Barsotti, Leonor Prensa Nieto, Alwen Tiu Formal Aspects of Computing . 2007,第3期

机译：验证时钟同步算法：结合演绎工具进行的实验
3. New optimization methods for designing rain stations network using new neural network, election, and whale optimization algorithms by combining the Kriging method [J] . Safavi Maryam, Siuki Abbas Khashei, Hashemi Seyed Reza Environmental Monitoring and Assessment . 2021,第1期

机译：用新的神经网络，竞选和鲸鲸优化算法设计雨台网络的新优化方法通过结合克里格化方法
4. Verifying transaction ordering properties in unbounded bus networks through combined deductive/algorithmic methods [C] . Michael Jones, Ganesh Gopalakrishnan International Conference on Formal Methods in Computer-Aided Design . 2000

机译：通过组合的演绎/算法方法验证无限的总线网络中的交易订购属性
5. Abstraction-based deductive-algorithmic verification of reactive systems. [D] . Uribe Restrepo, Tomas E. 1999

机译：反应系统基于抽象的演绎算法验证。
6. Combined Mapping of Multiple clUsteriNg ALgorithms (COMMUNAL): A Robust Method for Selection of Cluster Number K [O] . Timothy E. Sweeney, Albert C. Chen, Olivier Gevaert -1

机译：多个聚类算法的组合映射（公共）：选择簇数K的稳健方法
7. A Platform for Combining Deductive with Algorithmic Verification [O] . Amir Pnueli, Elad Shahar 1996

机译：演绎与算法验证相结合的平台
8. Hardware Verification Integrating Deductive With Algorithmic Technologies. [R] . Manna, Z. 2002

机译：硬件验证将演绎与算法技术相结合。

Verifying Transaction Ordering Properties in Unbounded Bus Networks Through Combined Deductive/algorithmic Methods

著录项

引文网络

相似文献

相关主题

期刊订阅