Concurrency in Microprotocol Frameworks
スポンサーリンク
概要
- 論文の詳細を見る
- 北陸先端科学技術大学院大学の論文
- 2006-02-28
著者
-
Katayama Takuya
School of Information Science, Japan Advanced Institute of Science and Technology
-
Defago Xavier
School Of Information Science Japan Advanced Institute Of Science And Technology
-
Katayama Takuya
School Of Information Science Japan Advanced Institute Of Science And Technology(jaist)
-
Katayama Takuya
School Of Information Science Japan Advanced Institute Of Science And Technology
-
Urban Peter
Facultad De Informatica Universidad Politecnica De Madrid
-
Defago Xavier
School Of Information Science Jaist
-
Mena Sergio
Faculte Informatique & Communications, Ecole Polytechnique Federale de Lausanne
-
Mena Sergio
Faculte Informatique & Communications Ecole Polytechnique Federale De Lausanne
-
Defago Xavier
Presto Japan Science And Technology Agency(jst)
-
Defago Xavier
School of Information Science, Japan Advanced Institute of Science and Technology
関連論文
- Modeling of Real-Time System Designs for Parametric Analysis
- Extracting threads from concurrent objects for the design of embedded systems
- Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software
- Anonymous stabilizing leader election using a network sequencer
- An SNMP based failure detection service
- Towards Integrating Adaptation and Model Checking for Software Components
- ED FD: Improving the phi accrual failure detector
- Self-stabilizing algorithm for circle formation by disoriented oblivious mobile robots
- Concurrency in Microprotocol Frameworks
- Information Propagation on the φ Failure Detector
- Definition and specification of accrual failure detectors
- Fault-Tolerant Group Membership Protocols using Physical Robot Messengers
- On Accrual Failure Detectors
- The φ Accrual Failure Detector
- Flexible Failure Detection with к-FD
- Implementation and Performance Analysis of the φ-Failure Detector
- A lazy routing protocol for large-scale mobile ad hoc networks
- Specification of Replication Techniques,Semi-Passive Replication,and Lazy Consensus
- Collision prevention using group communication for asynchronous cooperative mobile robots
- Locality-preserving distributed path reservation protocol for asynchronous cooperative mobile robots
- Tight bound on the gathering of two oblivious mobile robots with inconsistent compasses
- Gathering asychronous mobile robots with inaccurate compasses
- Eventually consistent compasses for robust gathering of asynchronous mobile robots with limited visibility
- A sowing routing protocol for dense mobile ad hoc networks
- Comparative Performance Analysis of Ordering Strategies in Atomic Broadcast Algorithms
- Total Order Broadcast and Multicast Algorithms : Taxonomy and Survey
- Distributed Algorithm for Circle Formation of Disoriented Mobile Robots
- Dynamic Scheduling Real-Time Task Using Primary-Backup Overloading Strategy for Multiprocessor Systems
- Fault-tolerant flocking in a k-bounded asynchronous system
- Performance comparison of a rotating coordinator and a leader based consensus algorithm
- A Minimized Assumption Generation Method for Component-Based Software Verification
- Performance Comparison of a Rotating Coordinator and a Leader Based Consensus Algorithm
- Using text semantic similarity approach to check the consistency of UML
- Parametric Verification towards Design of Real-Time Systems
- Toward an automatic reusable software using textual entailment