KIMURA Shigetomo
- Conference, etc.
- ダイクストラ法による最短経路での故障時の再最短路導出法
植松喜孝; 木村成伴; 海老原義彦
__53_1 (4E-8)_365-366/1996-09 - A Performance Analysis on a Hybrid Dilated Banyan Network
Pibulyarojana Komain; 木村成伴; 海老原義彦
__96_40 (DPS-76-34)_199-204/1996-05 - Introduction of Economic-Oriented Fairness Based on Communication Ports of an Algebraic Process
木村成伴; 海老原義彦
___基礎・境界 (SA-8-2)_496-497/1996-03 - Delay, Throughput, Fairnessのバランスを考慮にいれたネットワークSharing Schemeの評価基準の提案
山崎大輔; 木村成伴; 海老原義彦
__52_1 (4Bb-9)_245-246/1996-03 - Introduction of Economic-Oriented Fairness to a Process Algebra
木村成伴; 海老原義彦
__52_4 (1M-6)_11-12/1996-03 - A Study on a Hybrid Dilated Banyan Network
Pibulyarojana Komain; 木村成伴; 海老原義彦
__52_1 (2Bb-4)_205-206/1996-03 - バイパスをもつ改良バンヤン網構成に関する評価
金光煕; 木村成伴; 海老原義彦
__52_1 (2Bb-3)_203-204/1996-03 - A synthesizer for algebraic processes
臼井伸幸; 吉田仙; 木村成伴; 富樫敦; 白鳥則郎
__93_496 (COMP93-84)_57-64/1994-03 - A Process Synthesis System and its Prototype
臼井伸幸; 吉田仙; 木村成伴; 富樫敦; 白鳥則郎
__48_5 (3G-3)_23-24/1994-03 - Synthesis Algorithm for Recursive Processes by μ-calculus
木村成伴; 富樫敦; 白鳥則郎
__48_5 (3G-1)_19-20/1994-03 - Synthesis Algorithm for Recursive Processes by μ-calculus
木村成伴; 富樫敦; 白鳥則郎
__93_496 (COMP93-86)_73-80/1994-03 - A design and development of a general system for concurrent process calculi
吉田仙; 木村成伴; 富樫敦; 白鳥則郎
__93_123 (COMP93-23)_27-36/1993-06 - On Convergence of an Inductive Inference Algorithm for Processes
木村成伴; 富樫敦; 野口正一
__91_268 (COMP91-57)_39-48/1991-10 - An Inductive Inference Algorithm of Basic Process by Modal Formulas
木村成伴; 富樫敦; 野口正一
__91_75 (ICS-78-5)_1-10/1991-09 - Implementation of a Support System for the Interpretive Execution of Parallel Processes
木村成伴; 朴美郎; 富樫敦; 野口正一
__90_58 (COMP90-8)_67-76/1990-05
- ダイクストラ法による最短経路での故障時の再最短路導出法