浜口 清治


モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法
垣内 洋介 北嶋 暁 浜口 清治 柏原 敏伸 
誌名:   電子情報通信学会論文誌 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)

しきい値関数を表す共有2分決定グラフの最適な変数順序付けの 計算複雑度
農添 三資 浜口 清治 岩間 一雄 矢島 脩三 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/05/25
Vol. J82-D1  No. 5  pp. 595-602
論文種別:  論文
専門分野: 計算量理論
キーワード: 
2分決定グラフしきい値関数NP完全性
 あらまし | 本文:PDF(561.9KB)