森岡 澄夫 | 大阪大学大学院基礎工学研究科情報数理系専攻:(現)日本アイ・ビー・エム株式会社
スポンサーリンク
概要
関連著者
-
森岡 澄夫
大阪大学大学院基礎工学研究科情報数理系専攻:(現)日本アイ・ビー・エム株式会社
-
森岡 澄夫
日本電気株式会社システムipコア研究所
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
谷口 健一
大阪大学基礎工学部情報科学科
-
森岡 澄夫
大阪大学基礎工学部情報学科
-
森岡 澄夫
日本電気システムIPコア研究所
-
谷口 健一
大阪大学基礎工学部情報工学科
-
東野 輝夫
大阪大学基礎工学部情報科学科
-
北道 淳司
大阪大学大学院基礎工学研究科
-
北道 淳司
大阪大学基礎工学部情報工学科
-
島谷 肇
大阪大学大学院基礎工学研究科情報数理系専攻:(現)株式会社東芝
-
佐古 和恵
日本電気共通基盤ソフトウェア研究所
-
北嶋 暁
大阪電気通信大学総合情報学部メディアコンピュータシステム学科
-
森岡 澄夫
日本アイ・ビー・エム株式会社東京基礎研究所
-
島谷 肇
大阪大学基礎工学部情報工学科
-
柴田 直樹
大阪大学大学院基礎工学研究科情報数理系専攻
-
一色 寿幸
日本電気共通基盤ソフトウェア研究所
-
尾花 賢
日本電気共通基盤ソフトウェア研究所
-
北嶋 暁
大阪大学基礎工学部情報科学科
-
片山 泰尚
日本アイ・ビー・エム株式会社東京基礎研究所
-
尾花 賢
日本電気株式会社
-
東野 輝夫
大阪大学 大学院情報科学研究科
-
谷口 健一
大阪大学 基礎工学部
-
荒木 俊則
日本電気共通基盤ソフトウェア研究所
-
柴田 直樹
大阪大学基礎工学部情報工学科
-
森岡 澄夫
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
岡野 浩三
大阪大学基礎工学部情報科学科
-
寺西 勇
日本電気 中央研究所
-
古川 潤
日本電気
-
片山 泰尚
日本アイ・ビー・エム
-
佐古 和恵
日本電気株式会社
-
森岡 澄夫
日本電気株式会社 システムIPコア研究所
-
東野 輝夫
大阪大学大学院情報科学研究科
-
中村 祐一
Nec
-
佐藤 証
日本アイ・ビー・エム株式会社 東京基礎研究所
-
水野 健太郎
大阪大学基礎工学部情報科学科
-
安本 慶一
滋賀大学経済学部情報管理学科
-
西川 清史
大阪大学大学院基礎工学研究科情報数理系専攻
-
北嶋 暁
大阪大学大学院基礎工学研究科情報数理系専攻
-
谷口 健一
大阪大学大学院情報科学研究科
-
西川 清史
大阪大学基礎工学部情報工学科
-
村上 尚
大阪大学基礎工学部情報工学科
-
柴田 直樹
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
森岡 澄夫
日本電気中央研究所
-
荒木 俊則
日本電気中央研究所
-
一色 寿幸
日本電気中央研究所
-
尾花 賢
日本電気中央研究所
-
佐古 和恵
日本電気中央研究所
-
寺西 勇
日本電気中央研究所
-
森岡 澄夫
日本電気 中央研究所
-
荒木 俊則
日本電気 中央研究所
-
一色 寿幸
日本電気 中央研究所
-
尾花 賢
日本電気 中央研究所
-
佐古 和恵
日本電気 中央研究所
-
古川 潤
日本電気株式会社
-
西川 清史
大阪大学大学院基礎工学研究科
-
北嶋 暁
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
島谷 肇
大阪大学 基礎工学部 情報工学科
-
尾花 賢
日本電気株式会社インターネットシステム研究所
-
中村 祐一
日本電気株式会社
-
古川 潤
日本電気情報・メディアプロセッシング研究所
-
佐古 和恵
日本電気情報・メディアプロセッシング研究所
-
一色 寿幸
日本電気株式会社情報・メディアプロセッシング研究所
-
佐藤 証
日本アイ・ビー・エム株式会社東京基礎研究所
-
東野 輝夫
大阪大学大学院情報学研究科
-
一色 寿幸
日本電気株式会社
著作論文
- V850マイコンとパソコンをつないで並列処理 USB接続型赤外線学習リモコンの製作事例 (特集 OSの移植から学習リモコン,CDプレーヤ,しゃべる抽選機の製作まで 必見! フレッシャーズ特別企画(第2弾)V850マイコン基板で作る! 遊ぶ! 学ぶ!)
- 減色機能を備えるアニメーション向けフォント生成ツールを作成 FRマイコンのOSD機能を使って「初音ミク」アニメーション
- 通信プロトコルのLOTOS仕様から並行EFSM群への変換の一手法
- 急激に変化する黎明期から,緩やかな成熟期へ LSI/FPGA設計の現状と今後 (特集 HDLをごりごり書かずにSoCやFPGAが設計できる! 複雑化する回路設計にC言語やUMLで反撃!)
- 代数的手法を用いた同期式順序回路の設計支援機能の統合
- 二段階動作合成によるグループ署名ASICの実装と評価(設計事例,システムオンシリコンを支える設計技術)
- 関係データベースを用いた在庫管理プログラムの記述とその詳細化の正しさの証明
- ASLプログラム開発システムにおける検証の自動化について
- 共通鍵暗号AESの低消費電力論理回路構成法
- in-order実行パイプラインCPUの正しさの自動証明例
- すべての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定の高速化手法
- プレスブルガー文真偽判定手続きを用いた算術演算回路の正しさの証明
- プレスブルガー文真僞判定手続きを用いた算術演算回路の正しさの証明
- プレスブルガー文真偽判定手続きにおける多元連立1次合同式の求解処理の高速化
- グループ署名回路のアーキテクチャ最適化
- グループ署名回路のアーキテクチャ最適化
- 形式的手法を用いたin-order実行パイプラインCPUの自動設計検証(並列処理)
- 代数的手法を用いたCPU KUE-CHIP2の段階的設計の正しさの自動証明
- 一つのEFSMの複数EFSMによる実現の正しさの一証明法
- 代数的手法を用いたパイプライン方式CPUの設計検証
- 代数的手法を用いたCPU KUE-CHIP2の段階的設計およびその正しさの証明
- 代数的言語ASLによる回路設計支援システムにおけるSFL記述への詳細化とその変更及びそれらの正しさの検証
- in-order実行パイプラインCPUの正しさの自動証明例
- 代数的言語で記述した抽象的順序機械型プログラムの設計検証の自動化
- プログラム検証支援のためのプレスブルガー文真偽判定ルーチンの高速化
- 全ての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定プログラム
- 整数上の論理式の恒真性判定アルゴリズムを用いた組合せ論理回路の実現の正しさの証明
- 並列実行される動作におけるデータ代入の衝突の判定
- 代数的手法を用いた順序回路設計支援システムにおける検証支援機能と検証手順
- ハードウェアで高速並列処理を実現したリードソロモン復号アルゴリズム(下)アルゴリズムの詳細と回路化のためのポイント
- ハードウェアで高速処理を実現したリードソロモン復号アルゴリズム(上)高速化のための工夫と応用例
- 組み合わせ回路で実現したReed-Solomon符号・復号器の論理簡単化
- 組み合わせ回路による高速Reed-Solomon符号化復合化方式
- 処理のあらましを理解して回路を作ろう わかる! CRC計算回路の作り方とアレンジ
- スペ-スシャトルに使われているコンピュ-タ技術
- スペ-スシャトルに使われているコンピュ-タ技術
- 多重並列グループ署名の低消費電力回路アーキテクチャ(アーキテクチャ設計1,システムオンシリコンを支える設計技術)
- 二段階動作合成によるグループ署名回路の早期性能調整法と実装例(グループ署名回路,暗号と情報セキュリティ実装技術論文)
- グループ署名回路のクラウドサーバ/クライアント向け実装方法(招待講演)