KIMURA Shigetomo
- Articles
- A Study on a Hybrid Dilated Banyan Network
Komain Pibulyarojana; Shigetomo Kimura; and Yoshihiko Eb...
IEICE Transactions on Communications/E80-B(1)/p.116-126, 1997-01 - Mean Response Time and Traffic in Real-time Communication System with Different CPU Processing Time
陳 紅兵; 木村 成伴; 海老原 義彦
IPSJ Journal/37(11)/pp.2065-2071, 1996-11 - A proposal of a crossbar-switch constructed by buffers and 2-inputs 1-output switches
牛根 宏幸; 木村 成伴; 海老原 義彦
Technical report of IEICE. SSE/96(387)/pp.31-34, 1996-11 - Introduction of Economic-Oriented Fairness to Process Algebras
Shigetomo Kimura; Yoshihiko Ebihara
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences/E79-A(11)/p.1768-1773, 1996-11 - The suggestion of the total performance criterion with fainess on the network sharing schemes
山崎 大輔; 海老原 義彦; 木村 成伴
Technical report of IEICE. SAT/96(356)/pp.33-38, 1996-11 - 異なるCPU処理能力を持つリアルタイム通信システムの平均応答時間と入力トラヒック
陳紅兵; 木村成伴; 海老原義彦
情報処理学会論文誌/37(11)/p.2065-2071, 1996-11 - Reconstruction of Shortest Path Algorithm for a Link Failure within the Shortest Path by Dijkstra's Algorithm
植松 喜孝; 木村 成伴; 海老原 義彦
全国大会講演論文集/53(1)/pp.365-366, 1996-09 - A Performance Analysis on a Hybrid Dilated Banyan Network
ピブーンローチャナ コーメーン; 木村 成伴; 海老原 義彦
IPSJ SIG Notes/96(40)/pp.199-204, 1996-05 - Introduction of Economic-Oriented Fairness to a Process Algebra
木村 成伴; 海老原 義彦
全国大会講演論文集/52(4)/pp.11-12, 1996-03 - Introduction of Economic-Oriented Fairness Based on Communication Ports of an Algebraic Process
木村 成伴; 海老原 義彦
Proceedings of the IEICE General Conference/1996(0)/pp.496-497, 1996-03 - An Evaluation of Improved Banyan Network Construction with Bypass
金 光煕; 木村 成伴; 海老原 義彦
全国大会講演論文集/52(1)/pp.203-204, 1996-03 - A Study on a Hybrid Dilated Banyan Network.
Pibulyarojana Komain; 木村 成伴; 海老原 義彦
全国大会講演論文集/52(1)/pp.205-206, 1996-03 - Delay,Throughput,Fairnessのバランスを考慮にいれたネットワークSharing Schemeの評価基準の提案
山崎 大輔; 木村 成伴; 海老原 義彦
全国大会講演論文集/52(1)/pp.245-246, 1996-03 - Extension of Synthesis Algorithm to Recursive Processes by μ-calculus
Shigetomo Kimura; Atsushi Togashi; and Norio Shiratori
Information Processing Letters/58/p.97-104, 1996-01 - MSCからのプロセス合成
臼井伸幸; 木村成伴; 富樫敦; 白鳥則郎
数理解析研究所講究録/(0906)/p.154-161, 1995-04 - Extension of Synthesis Algorithm of Recursive Processes to μ-calculus
Shigetomo Kimura; Atsushi Togashi; and Norio Shiratori
数理解析研究所講究録/(0906)/p.146-153, 1995-04 - Inductive Synthesis of Recursive Processes from Logical Properties
Shigetomo Kimura; Atsushi Togashi; and Norio Shiratori
数理解析研究所講究録/(0902)/p.80-102, 1995-03 - Optimal Structure of a Communication System with Multilayered Protocol Related to Flow Control
Hiroyuki Ushine; Shigetomo Kimura; and Yoshihiko Ebihara
Proc. of the IASTED International Conference on Modelling and Simulation/p.254-257, 1995-01 - Inductive Inference of Algebraic Processes based on Hennessy-Milner Logic
Atsushi Togashi; Shigetomo Kimura
IEICE Transactions on Fundamentals of Electronics, Communictions and Computer Sciences/E77(A-10)/p.1594-1601, 1994-10 - Synthesis Algorithm for Recursive Processes by μ-calculus
Shigetomo Kimura; Atsushi Togashi; and Norio Shiratori
Lecture Notes in Artificial Intelligence/(872)/p.379-394, 1994-01 - Synthesis of Algebraic Processes Based Process Enumeration
木村成伴; 富樫敦; 野口正一
The Transaction of The IEICE/J75-D-I(12)/p.1132-1143, 1992-12 - A Synthesis Algorithm of Bosic Processes by Modal Formulas
木村成伴; 富樫敦; 野口正一
The Transaction of The IEICE/J75-D-I(11)/p.1048-1061, 1992-11
- A Study on a Hybrid Dilated Banyan Network