スポンサーリンク
北陸先端科学技術大学院大学 | 論文
- Locality-preserving distributed path reservation protocol for asynchronous cooperative mobile robots
- Collision prevention using group communication for asynchronous cooperative mobile robots
- Specification of Replication Techniques,Semi-Passive Replication,and Lazy Consensus
- A lazy routing protocol for large-scale mobile ad hoc networks
- Implementation and Performance Analysis of the φ-Failure Detector
- Flexible Failure Detection with к-FD
- The φ Accrual Failure Detector
- On Accrual Failure Detectors
- Fault-Tolerant Group Membership Protocols using Physical Robot Messengers
- Definition and specification of accrual failure detectors
- Concurrency in Microprotocol Frameworks
- Self-stabilizing algorithm for circle formation by disoriented oblivious mobile robots
- ED FD: Improving the phi accrual failure detector
- 語彙的結束性に基づく語彙的連鎖の計算
- The inductive and modal proof theory of Aumann's theorem on rationality
- Minimizing the range of lateness on a single machine under generalized due dates
- Minimizing maximum absolute lateness and range of lateness under generalized due dates on a single machine
- Single machine scheduling with sequence-dependent due dates
- An improved strategy for a pursuit-evasion problem on grids
- Improved algorithms for single machine scheduling with fuzzy due dates