Mechanically verified self-stabilizing hierarchical algorithms

机译：机械验证的自稳定分层算法

代理获取

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

页面导航

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

著录项

作者
I. S. W. B. Prasetya;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. On the performance of Dijkstra's third self-stabilizing algorithm for mutual exclusion and related algorithms [J] . Viacheslav Chernoy, Mordechai Shalom, Shmuel Zaks Distributed Computing . 2010,第1期

机译：Dijkstra的第三种互斥自稳定算法及相关算法的性能
2. A Realistic Early-Stage Power Grid Verification Algorithm Based on Hierarchical Constraints [J] . Wang Y., Hu X., Cheng C.-K., Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on . 2012,第1期

机译：基于分层约束的现实的早期电网验证算法
3. Corrigendum to “A Realistic Early-Stage Power Grid Verification Algorithm Based on Hierarchical Constraints” [J] . Wang Y., Hu X., Cheng C.-K., Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on . 2012,第3期

机译：“基于分层约束的现实的早期电网验证算法”勘误
4. Time-Efficient Self-Stabilizing Algorithms through Hierarchical Structures [C] . Felix C. Gaertner, Henning Pagnia Self-Stabilizing Systems . 2003

机译：分层结构的高效时间自稳定算法
5. FLOC-SPANNER: An O(1) time, locally self-stabilizing algorithm for geometric spanner construction in a wireless sensor network. [D] . Ranganath, Goutham. 2013

机译：FLOC-SPANNER：一种O（1）时间的本地自稳定算法，用于无线传感器网络中的几何扳手构造。
6. Point Dose Measurement for Verification of Treatment Planning System using an Indigenous Heterogeneous Pelvis Phantom for Clarkson Convolution Superposition and Fast Superposition Algorithms [O] . S. Singh, P. Raina, O. P Gurjar 2019

机译：点剂量测量用于验证治疗计划系统的本地异形骨盆幻影用于Clarkson卷积叠加和快速叠加算法
7. Mechanically supported design of self-stabilizing algorithms [O] . Prasetya I.S.W.B. 1995

机译：机械支持的设计或自稳定算法

Mechanically verified self-stabilizing hierarchical algorithms

著录项

引文网络

相似文献

相关主题

期刊订阅