KIMURA Shigetomo

Researcher's full information

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