Zobrazeno 1 - 10 of 196 pro vyhledávání: '"Kikuno, Tohru"'
1
Akademický článek
Counter-based reliability optimization for gossip-based broadcasting
Autor: Tsuchiya, Tatsuhiro, Ikeda, Shinichi, Kikuno, Tohru
Publikováno v: In Computer Communications 2006 29(9):1516-1521
Zobrazit plný text záznamu
2
Akademický článek
Non-specification-based approaches to logic testing for software
Autor: Kobayashi, Noritaka, Tsuchiya, Tatsuhiro, Kikuno, Tohru
Publikováno v: In Information and Software Technology 2002 44(2):113-121
Zobrazit plný text záznamu
3
Akademický článek
Minimizing the mean delay of quorum-based mutual exclusion schemes
Autor: Kobayashi, Noritaka, Tsuchiya, Tatsuhiro, Kikuno, Tohru
Publikováno v: In The Journal of Systems & Software 2001 58(1):1-9
Zobrazit plný text záznamu
4
Akademický článek
A new approach to fault-tolerant scheduling using task duplication in multiprocessor systems
Autor: Hashimoto, Koji *, Tsuchiya, Tatsuhiro, Kikuno, Tohru
Publikováno v: In The Journal of Systems & Software 2000 53(2):159-171
Zobrazit plný text záznamu
5
Akademický článek
Placement Problem of I/O Blocks with Constraints on Size and Shape in VLSI.
Autor: Fujii, Takashi1, Kikuno, Tohru1, Yoshida, Noriyoshi1
Publikováno v: Electronics & Communications in Japan, Part 1: Communications. Mar88, Vol. 71 Issue 3, p46-59. 14p.
Zobrazit plný text záznamu
6
Akademický článek
Time Complexity of Gate Assignment Problem in One-Dimensional Array.
Autor: Fujii, Takashi1, Kikuno, Tohru1, Yoshida, Noriyoshi1
Publikováno v: Electronics & Communications in Japan, Part 1: Communications. Sep87, Vol. 70 Issue 9, p59-67. 9p.
Zobrazit plný text záznamu
7
Network Coding-Based Gossip
Autor: Tokuyama, Shun, Tsuchiya, Tatsuhiro, Kikuno, Tohru
Publikováno v: 電子情報通信学会技術研究報告. DC, ディペンダブルコンピューティング. 111(252):31-36
ゴシップは,分散システムにおけるブロードキャスト手法の一つである.ゴシップでは,ブロードキャストを行うノードが,メッセージをランダムに選択されたいくつかのノードに対して送信
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=jairo_______::54c52bdc82a0caca0272d150d2c806b8
https://hdl.handle.net/11094/27242
Zobrazit plný text záznamu
8
K-induction-based model checking of concurrent systems with unbounded integer variables
Autor: Inoue, Hiroyuki, Tsuchiya, Tatsuhiro, Kikuno, Tohru
Publikováno v: 電子情報通信学会技術研究報告. DC, ディペンダブルコンピューティング. 111(252):1-5
モデル検査において上界のない整数型変数を有するシステムを対象とした場合,状態数は無限となるため,状態全てを個々に探索することは不可能である.そこで,k帰納法を用いたモデル検
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=jairo_______::63e926c5be5a47b66f0b408085d781e3
https://hdl.handle.net/11094/27247
Zobrazit plný text záznamu
9
SAT and SMT Based Model Checking of Concurrent Systems
Autor: Tsuchiya, Tatsuhiro, Kikuno, Tohru
Publikováno v: 電子情報通信学会技術研究報告. CST, コンカレント工学. 109(73):19-23
We discuss model checking that uses a SAT (satisfiability) or SMT (satisfiability modulo theory) solver. The basic idea behind this model checking approach is to reduce the model checking problem to the satisfiability problem of a formula of some log
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=jairo_______::0b0df81809b3451f0cce09d83d8ff29d
https://hdl.handle.net/11094/27252
Zobrazit plný text záznamu
10
Evaluation of a Metropolis Algorithm for Constructing Unstructured Overlay Networks
Autor: Takamura, Tatsushi, Tsuchiya, Tatsuhiro, Kikuno, Tohru
Publikováno v: 電子情報通信学会技術研究報告. DC, ディペンダブルコンピューティング. 109(12):13-17
P2Pシステムの通信はオーバーレイネットワークと呼ばれる仮想的なネットワーク上で行われる.オーバーレイネットワーク上で通信コストと故障耐性を最適化する手法の一つに,モンテカ
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=jairo_______::58e187de767ac69c7c0f0271389edf31
https://hdl.handle.net/11094/27241
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje