首页> 外文OA文献 >Formal and incremental construction of distributed algorithms: On the distributed reference counting algorithm

【2h】

Formal and incremental construction of distributed algorithms: On the distributed reference counting algorithm

机译：分布式算法的正式和增量构建：关于分布式引用计数算法

代理获取

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

页面导航

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

著录项

作者
Cansell Dominique; Méry Dominique;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal and incremental construction of distributed algorithms: On the distributed reference counting algorithm [J] . Dominique Cansell, Dominique Mery Theoretical computer science . 2006,第3期

机译：分布式算法的正式和增量构建：关于分布式引用计数算法
2. Overlays with Preferences: Distributed, Adaptive Approximation Algorithms for Matching with Preference Lists [J] . Giorgos Georgiadis, Marina Papatriantafilou Algorithms . 2013,第4期

机译：带有首选项的叠加：用于与首选项列表匹配的分布式自适应近似算法
3. Analysis and Calculation of the Probability Selectivity Using the Modern Distributed Algorithms: Modern Distributed Algorithms [J] . International journal of distributed systems and technologies . 2020,第2期

机译：使用现代分布式算法的概率选择性分析和计算：现代分布式算法
4. Distributed suffix array construction algorithms: Comparison of two algorithms [C] . Ahmed A. Metwally, Ahmed H. Kandil, Mohamed Abouelhoda Cairo International Biomedical Engineering Conference . 2016

机译：分布式后缀数组构造算法：两种算法的比较
5. Applying Formal Methods to Distributed Algorithms Using Local-Global Relations. [D] . White, Jerome. 2011

机译：使用局部-全局关系将形式化方法应用于分布式算法。
6. The Algorithms of Distributed Learning and Distributed Estimation about Intelligent Wireless Sensor Network [O] . Fuxiao Tan 2020

机译：智能无线传感器网络的分布式学习和分布式估计算法
7. Distributed Incremental Cost Consensus-Based Optimization Algorithms for Economic Dispatch in a Microgrid [O] . Aijuan Wang, Wanping Liu 2020

机译：基于分布的增量成本共识的微电网经济派遣的基于共识的优化算法
8. Towards the Formal Design of Self-Stabilizing Distributed Algorithms [R] . Lentfert, P. J. A., Swierstra, S. D. 1992

机译：面向自稳定分布式算法的形式化设计

Formal and incremental construction of distributed algorithms: On the distributed reference counting algorithm

著录项

引文网络

相似文献

相关主题

期刊订阅