13 著者名表示.
発行日 | タイトル |
著者 |
5-Aug-2002 | Extracting threads from concurrent objects for the design of embedded systems | Okazaki, Mitsutaka; Aoki, Toshiaki; Katayama, Takuya |
6-Oct-2003 | Implementaion and Performance Analysis of the φ-Failure Detector | Hayashibara, Naohiro; Defago, Xavier; Katayama, Takuya |
25-Feb-2004 | Flexible failure detection with k-FD | Hayashibara, Naohiro; Defago, Xavier; Katayama, Takuya |
30-Mar-2004 | Performance comparison of a rotating coordinator and a leader based consensus algorithm | Urban, Peter; Hayashibara, Naohiro; Schiper, Andre; Katayama, Takuya |
10-May-2004 | The φ accrual failure detector | Hayashibara, Naohiro; Defago, Xavier; Yared, Rami; Katayama, Takuya |
14-May-2004 | On accrual failure detectors | Defago, Xavier; Urban, Peter; Hayashibara, Naohiro; Katayama, Takuya |
4-Aug-2004 | Performance comparison of a rotating coordinator and a leader based consensus algorithm (extended version) | Urban, Peter; Hayashibara, Naohiro; Schiper, Andre; Katayama, Takuya |
1-Dec-2004 | Fault-tolerant group membership protocols using physical robot messengers | Yared, Rami; Defago, Xavier; Katayama, Takuya |
22-Mar-2005 | Definition and specification of accrual failure detectors | Defago, Xavier; Urban, Peter; Hayashibara, Naohiro; Katayama, Takuya |
28-Feb-2006 | Concurrency in Microprotocol Frameworks | Urban, Peter; Mena, Sergio; Defago, Xavier; Katayama, Takuya |
7-Sep-2006 | Using text semantic similarity approach to check the consistency of UML | Kotb, Yasser; Katayama, Takuya |
24-Nov-2006 | Toward an automatic reusable software using textual entailment | Kotb, Yasser; Katayama, Takuya |
20-Apr-2010 | Modeling of Real-Time System Designs for Parametric Analysis | Chaiwat, Sathawornwichit; Aoki, Toshiaki; Katayama, Takuya |