Katayama Takuya | School Of Information Science Japan Advanced Institute Of Science And Technology
スポンサーリンク
概要
関連著者
-
Katayama Takuya
School Of Information Science Japan Advanced Institute Of Science And Technology
-
Katayama Takuya
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)
-
Hayashibara Naohiro
School Of Information Science Japan Advanced Institute Of Science And Technology(jaist)
-
Defago Xavier
Presto Japan Science And Technology Agency(jst)
-
Hayashibara Naohiro
Tokyo Denki Univ. (tdu) Saitama Jpn
-
Defago Xavier
School of Information Science, Japan Advanced Institute of Science and Technology
-
Defago Xavier
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
-
Aoki Toshiaki
School of Information Science, Japan Advanced Institute of Science and Technology
-
Urban Peter
School Of Information Science Japan Advanced Institute Of Science And Technology
-
Aoki Toshiaki
School Of Information Science Japan Advanced Institute Of Science And Technology
-
Aoki Toshiaki
School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)
-
Urban Peter
School of Information Science, Japan Advanced Institute of Science and Technology
-
Pham Ngoc
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 (jaist)
-
Yared Rami
School of Information Science, Japan Advanced Institute of Science and Technology(JAIST)
-
Schiper Andre
Swiss Federal Institute Of Technology In Lausanne(epfl)
-
Yared Rami
School Of Information Science Japan Advanced Institute Of Science And Tchnology(jaist)
-
Kotb Yasser
School Of Information Science Japan Advanced Institute Of Science And Technology
-
Aoki Toshiaki
Japan Advanced Institute of Science and Technology
-
Chaiwat Sathawornwichit
School of Information Science, Japan Advanced Institute of Science and Technology
-
Hayashibara Naohiro
東京電機大
-
Takizawa Makoto
東京電機大
-
Katayama Takuya
Japan Advanced Institute Of Science And Technology
-
OKAZAKI Mitsutaka
Japan Advanced Institute of Science and Technology
-
Okazaki Mitsutaka
School of Information Science, Japan Advanced Institute of Science and Technology
-
PHAM Ngoc
School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)
-
Makoto Takizawa
Seikei University
-
Takizawa Makoto
Seikei University
-
Chaiwat Sathawornwichit
School Of Information Science Japan Advanced Institute Of Science And Technology
-
Sathawornwichit Chaiwat
School Of Information Science Japan Advanced Institute Of Science And Technology
-
Mena Sergio
Faculte Informatique & Communications, Ecole Polytechnique Federale de Lausanne
-
DEFAGO XAVIER
産総研
-
KATAYAMA TAKUYA
産総研
-
Defago Xavier
PRESTO, Japan Science and Technology Agency(JST)
-
Mena Sergio
Faculte Informatique & Communications Ecole Polytechnique Federale De Lausanne
-
Pham Ngoc
College Of Technology Vietnam National University
-
Nguyen Viet
College Of Technology Vietnam National University
-
Kotb Yasser
School of Information Science, Japan Advanced Institute of Science and Technology
-
SATHAWORNWICHIT Chaiwat
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
- 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
- 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