浜口 清治 | 大阪大学大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
浜口 清治
大阪大学大学院情報科学研究科
-
浜口 清治
大阪大学大学院基礎工学研究科
-
柏原 敏伸
大阪大学大学院
-
柏原 敏伸
大阪大学大学院情報科学研究科
-
浜口 清治
大阪大学 大学院情報科学研究科
-
垣内 洋介
大阪大学 大学院情報科学研究科
-
垣内 洋介
大阪大学大学院情報科学研究科
-
中西 正樹
山形大学地域教育文化学部
-
中川 智文
大阪大学大学院情報科学研究科
-
小澤 弘明
大阪大学大学院情報科学研究科
-
北嶋 暁
大阪電気通信大学総合情報学部情報工学科
-
竹内 翔
大阪大学大学院情報科学研究科
-
北嶋 暁
大阪電気通信大学 総合情報学部情報工学科
-
北嶋 暁
大阪電気通信大学総合情報学部メディアコンピュータシステム学科
-
武内 良典
大阪大学大学院情報科学研究科
-
今井 正治
大阪大学大学院情報科学研究科
-
引地 信之
SRA先端技術研究所
-
谷本 匡亮
(株) ルネサステクノロジ
-
中西 正樹
大阪大学大学院基礎工学研究科
-
大槻 典正
大阪大学大学院基礎工学研究科情報数理系専攻
-
森友 淳史
大阪大学大学院情報科学研究科
-
酒井 皓太
大阪大学
-
引地 信之
(株)SRA
-
今井 正治
大阪大学大学大学院情報科学研究科
-
武内 良典
大阪大学大学大学院情報科学研究科
-
増田 和也
大阪大学大学院情報科学研究科
-
清水 博章
大阪大学大学院情報科学研究科
-
中川 智文
大阪大学 大学院情報科学研究科
-
中西 正樹
山形大学 地域教育文化学部
-
谷本 匡亮
(株)ルネサステクノロジ
-
小澤 弘明
大阪大学基礎工学部
-
浜口 清治
大阪大学
-
垣内 洋介
大阪大学
-
森友 淳史
大阪大学大学院 情報科学研究科
-
木村 晋二
早稲田大学
-
岩間 一雄
京都大学大学院情報学研究科
-
中西 正樹
奈良先端科学技術大学院大学情報科学研究科
-
矢島 脩三
京都大学工学部情報工学教室
-
矢島 脩三
関西大学総合情報学部
-
矢島 脩三
京都大学工学部
-
矢島 脩三
京都大学大学院工学研究科情報工学教室
-
濱口 清治
大阪大学大学院基礎工学研究科
-
浜口 清治
京都大学大学院工学研究科情報工学専攻
-
木村 晋二
早稲田大学大学院情報生産システム研究科
-
柏原 敏伸
大阪大学基礎工学部情報工学科
-
農添 三資
京都大学大学院工学研究科
-
浜口 清治
大阪大学基礎工学研究科
-
澤田 美沙子
大阪大学大学院基礎工学研究科
-
柏原 敏伸
大阪大学基礎工学部
-
農添 三資
京都大学大学院工学研究科:(現)松下電器産業株式会社
-
余 心牧
早稲田大学大学院情報生産システム研究科
著作論文
- 第一階述語論理のサブクラスに対する近似的モデル検査アルゴリズム (ディペンダブルコンピューティング)
- 第一階述語論理のサブクラスに対する近似的モデル検査アルゴリズム (VLSI設計技術)
- メッセージ・シークエンス・チャートに対するSATソルバーを用いたディスコード計算手法 (ディペンダブルコンピューティング)
- メッセージ・シークエンス・チャートに対するSATソルバーを用いたディスコード計算手法 (コンピュータシステム)
- 第一階述語論理のサブクラスに対する近似的モデル検査アルゴリズム
- メッセージ・シークエンス・チャートに対するSATソルバーを用いたディスコード計算手法
- メッセージ・シークエンス・チャートに対するSATソルバーを用いたディスコード計算手法
- メッセージ・シークエンス・チャートに対するSATソルバーを用いたディスコード計算手法
- メッセージ・シークエンス・チャートに対するSATソルバーを用いたディスコード計算手法
- メッセージ・シークエンス・チャートに対するSATソルバーを用いたディスコード計算手法
- メッセージ・シークエンス・チャートに対するSATソルバーを用いたディスコード計算手法
- メッセージ・シークエンス・チャートに対するSATソルバーを用いたディスコード計算手法
- しきい値関数を表す共有2分決定グラフの最適な変数順序付けの計算複雑度
- 局所変数を含むアサーションに対するモデルチェッキングのためのチェッカ生成(アサーションベース検証,システム設計及び一般)
- 局所変数を含むアサーションに対するモデルチェッキングのためのチェッカ生成(システム設計及び一般)
- 動的局所変数を含むアサーションに対する限定モデルチェッキング(デザインガアイ2006-VLSI設計の新しい大地を考える研究会)
- 動的局所変数を含むアサーションに対する限定モデルチェッキング(検証,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 動的局所変数を含むアサーションに対する限定モデルチェッキング(検証,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- アサーションベース検証の基礎とそのねらい(設計・検証, FRGAとその応用及び一般)
- アサーションベース検証の基礎とそのねらい(設計・検証, FRGAとその応用及び一般)
- アサーションベース検証の基礎とそのねらい(設計・検証, FRGAとその応用及び一般)
- 大規模回路設計に対するフォーマル仕様記述・検証技術の現状と動向
- 第一階述語論理のサブクラスに対する項の高さ縮減を用いた不変条件の近似的検証アルゴリズム(テストと検証,デザインガイア2007-VLSI設計の新しい大地を考える研究会-)
- 第一階述語論理のサブクラスに対する項の高さ縮減を用いた不変条件の近似的検証アルゴリズム(テストと検証,デザインガイア2007-VLSI設計の新しい大地を考える研究会-)
- 第一階述語論理のサブクラスに対する項の高さ縮減を用いた不変条件の近似的検証アルゴリズム(テストと検証,デザインガイア2007-VLSI設計の新しい大地を考える研究会-)
- 同値制約を考慮した第一階述語論理の決定可能なサブクラスによる等価性判定(デザインガアイ2006-VLSI設計の新しい大地を考える研究会)
- 同値制約を考慮した第一階述語論理の決定可能なサブクラスによる等価性判定(検証,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 同値制約を考慮した第一階述語論理の決定可能なサブクラスによる等価性判定(検証,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 定数幅量子ブランチングプログラムの計算能力 (計算理論とアルゴリズムの新展開)
- 1回読み定数幅制約下での量子ブランチングプログラムと確率ブランチングプログラムの計算能力の比較
- クロネッカー式関数決定グラフの最適展開規則選択問題の計算複雑度(情報基礎理論ワークショップ(LAシンポジウム)論文小特集)
- 二分モーメントグラフによる除算表現の大きさの指数下界 (アルゴリズムと計算の理論)
- 二分モーメントグラフによる除算表現の大きさの指数下界
- モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法(ハードウェア,フォーマルアプローチ論文)
- モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法(プロセッサ, DSP, 画像処理技術及び一般)
- モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法(プロセッサ, DSP, 画像処理技術及び一般)
- モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法(プロセッサ, DSP, 画像処理技術及び一般)
- モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法(プロセッサ, DSP, 画像処理技術及び一般)
- 第一階述語論理のサブクラスを利用したブール関数レベルの等価性判定手法(FPGAとその応用及び一般)
- 第一階述語論理のサブクラスを利用したブール関数レベルの等価性判定手法(FPGAとその応用及び一般)
- 第一階述語論理のサブクラスを利用したブール関数レベルの等価性判定手法(FPGAとその応用及び一般)
- 第一階述語論理のサブクラスを利用したブール関数レベルの等価性判定手法(FPGAとその応用及び一般)
- トランザクション識別子を伴うバスプロトコル間の変換器自動生成手法 (ディペンダブルコンピューティング)
- トランザクション識別子を伴うバスプロトコル間の変換器自動生成手法 (コンピュータシステム)
- トランザクション識別子を伴うバスプロトコル間の変換器自動生成手法
- トランザクション識別子を伴うバスプロトコル間の変換器自動生成手法
- 第一階述語論理の決定可能なサブクラスに対する同値制約を考慮した充足可能性判定(検証・理論, 組込技術とネットワークに関するワークショップ)
- 第一階述語論理の決定可能なサブクラスに対する同値制約を考慮した充足可能性判定
- 第一階述語論理の決定可能なサブクラスに対する同値制約を考慮した充足可能性判定(検証・理論, 組込技術とネットワークに関するワークショップ)
- VLIWプロセッサにおける演算命令発行スロット数の最適化
- VLIWプロセッサにおける演算命令発行スロット数の最適化
- VLIWプロセッサ自動生成における演算器構成最適化の一手法
- VLIWプロセッサ自動生成における演算器構成最適化の一手法
- A-3-8 メモリを用いた算術演算回路のFPGA実現とその電力評価(A-3.VLSI設計技術,一般セッション)