柏原 敏伸


モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法
垣内 洋介 北嶋 暁 浜口 清治 柏原 敏伸 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/04/01
Vol. J89-D  No. 4  pp. 674-682
論文種別:  特集論文 (フォーマルアプローチ論文特集)
専門分野: ハードウェア
キーワード: 
形式検証モニタベース検証AMBAモニタ回路生成
 あらまし | 本文:PDF(313.7KB)

クロネッカー式関数決定グラフの最適展開規則選択問題の計算複雑度
中西 正樹 澤田 美沙子 浜口 清治 柏原 敏伸 
誌名:   電子情報通信学会論文誌 D
発行日: 2000/01/25
Vol. J83-D1  No. 1  pp. 115-120
論文種別:  特集レター (情報基礎理論ワークショップ(LAシンポジウム)論文小特集)
専門分野: 
キーワード: 
2分決定グラフクロネッカー式関数決定グラフ展開規則選択問題NP困難
 あらまし | 本文:PDF(383.6KB)

妨害者のいる場合の最短経路問題
山口 一章 荒木 俊郎 柏原 敏伸 
誌名:   電子情報通信学会論文誌 A
発行日: 1996/11/25
Vol. J79-A  No. 11  pp. 1866-1876
論文種別:  論文
専門分野: グラフとネットワーク
キーワード: 
最短経路アルゴリズムP-SPACE-complete2人ゲームネットワーク経路制御
 あらまし | 本文:PDF(582.8KB)

平面グラフの最大重み窓問題
山口 一章 小谷 健 増田 澄男 柏原 敏伸 
誌名:   電子情報通信学会論文誌 A
発行日: 1995/10/25
Vol. J78-A  No. 10  pp. 1335-1340
論文種別:  論文
専門分野: アルゴリズムとデータ構造,計算複雑度
キーワード: 
平面グラフ平面描写最大重み窓極大平面化アルゴリズム
 あらまし | 本文:PDF(319.4KB)

円筒上長方形交グラフの最大クリークを求めるアルゴリズム
木津 隆史 荒木 俊郎 柏原 敏伸 
誌名:   電子情報通信学会論文誌 A
発行日: 1995/09/25
Vol. J78-A  No. 9  pp. 1149-1156
論文種別:  論文
専門分野: グラフとネットワーク
キーワード: 
交グラフ円弧グラフ円筒上長方形交グラフ最大クリーク
 あらまし | 本文:PDF(473.4KB)

マークグラフにおけるトランジションの潜在的同時発火可能性判定アルゴリズム
高橋 正毅 荒木 俊郎 柏原 敏伸 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/10/25
Vol. J77-D1  No. 10  pp. 674-682
論文種別:  論文
専門分野: オートマン,言語理論,計算論
キーワード: 
ペトリネット潜在的同時発火可能マークグラフ
 あらまし | 本文:PDF(561KB)

1-有界無競合ペトリネットにおける二つのトランジションの同時発火可能性を判定するYenのアルゴリズムの改良
高橋 正毅 荒木 俊郎 柏原 敏伸 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/09/25
Vol. J77-D1  No. 9  pp. 605-610
論文種別:  論文
専門分野: オートマン,言語理論,計算論
キーワード: 
1-有界無競合ペトリネット同時発火可能性
 あらまし | 本文:PDF(370.9KB)

パスグラフから区間グラフへの最小辺付加による変換のNP完全性
山口 一章 荒木 俊郎 柏原 敏伸 
誌名:   電子情報通信学会論文誌 A
発行日: 1994/09/25
Vol. J77-A  No. 9  pp. 1269-1275
論文種別:  論文
専門分野: グラフとネットワーク
キーワード: 
パスグラフ区間グラフNP完全
 あらまし | 本文:PDF(339.6KB)

交互シャフルについて
荒木 俊郎 柏原 敏伸 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/02/25
Vol. J77-D1  No. 2  pp. 242-244
論文種別:  レター
専門分野: 
キーワード: 
正規表現シャフル演算子交互シャフルk公平シャフル
 あらまし | 本文:PDF(168.9KB)

端子間に配線を通過させない順列配線のビア数最小化アルゴリズム
阿部 正弘 荒木 俊郎 柏原 敏伸 
誌名:   電子情報通信学会論文誌 A
発行日: 1994/01/25
Vol. J77-A  No. 1  pp. 67-75
論文種別:  論文
専門分野: グラフとネットワーク
キーワード: 
順列配線多層配線ビア数最小化動的計画法
 あらまし | 本文:PDF(583.5KB)

ペトリネットの部分クラスにおける同時発火可能性
高橋 正毅 荒木 俊郎 柏原 敏伸 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/01/25
Vol. J77-D1  No. 1  pp. 1-11
論文種別:  論文
専門分野: オートマン,言語理論,計算論
キーワード: 
ペトリネット潜在的同時発火状態機械マークグラフ1-有界自由選択ペトリネット
 あらまし | 本文:PDF(723.1KB)

階層的グラフの平面性判定アルゴリズム
柏原 敏伸 増田 澄男 
誌名:   電子情報通信学会論文誌 A
発行日: 1991/08/25
Vol. J74-A  No. 8  pp. 1302-1314
論文種別:  論文
専門分野: アルゴリズムとデータ構造,計算複雑度
キーワード: 
 あらまし | 本文:PDF(841.6KB)

外窓上の頂点および辺の重みの和を最大にするような,2連結平面グラフの描写アルゴリズム
小谷 健 増田 澄男 柏原 敏伸 
誌名:   電子情報通信学会論文誌 A
発行日: 1991/07/25
Vol. J74-A  No. 7  pp. 1041-1052
論文種別:  論文
専門分野: アルゴリズムとデータ構造,計算複雑度
キーワード: 
 あらまし | 本文:PDF(814.6KB)

2層配線における3端子ネットの分割
増田 澄男 柏原 敏伸 藤澤 俊男 
誌名:   電子情報通信学会論文誌 A
発行日: 1990/07/25
Vol. J73-A  No. 7  pp. 1232-1241
論文種別:  論文
専門分野: アルゴリズムとデータ構造,計算複雑度
キーワード: 
 あらまし | 本文:PDF(860.3KB)

下水平線と配線との交差数を最小とする順列配線
柏原 敏伸 板垣 克彦 増田 澄男 藤澤 俊男 
誌名:   電子情報通信学会論文誌 A
発行日: 1989/10/25
Vol. J72-A  No. 10  pp. 1594-1600
論文種別:  論文
専門分野: VLSI設計技術
キーワード: 
 あらまし | 本文:PDF(570KB)

部品の端子間に配線を通過させない一層配線問題について
増田 澄男 柏原 敏伸 藤澤 俊男 
誌名:   電子情報通信学会論文誌 A
発行日: 1984/09/25
Vol. J67-A  No. 9  pp. 880-887
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(702.9KB)

部品の反転を許さない一層平面配線問題について
増田 澄男 柏原 敏伸 藤澤 俊男 
誌名:   電子情報通信学会論文誌 A
発行日: 1983/03/25
Vol. J66-A  No. 3  pp. 235-242
論文種別:  論文
専門分野: 
キーワード: 
 あらまし | 本文:PDF(623.2KB)