横川 智教 | 岡山県立大学 情報工学部 情報システム工学科
スポンサーリンク
概要
関連著者
-
横川 智教
岡山県立大学 情報工学部 情報システム工学科
-
佐藤 洋一郎
岡山県立大学 情報工学部 情報システム工学科
-
横川 智教
岡山県立大学情報工学部情報システム工学科
-
佐藤 洋一郎
岡山県立大学情報工学部情報システム工学科
-
佐藤 洋一郎
岡山県立大学情報工学部
-
横川 智教
岡山県立大学大学院情報系工学研究科
-
横川 智教
岡山県立大学情報工学部
-
早瀬 道芳
岡山県立大学
-
早瀬 道芳
岡山県立大学大学院情報系工学研究科
-
佐藤 洋一郎
静大農
-
佐藤 洋一郎
人間文化研機構地球研
-
近藤 真史
岡山県立大学大学院 情報系工学研究科
-
宮崎 仁
岡山県立大学大学院情報系工学研究科システム工学専攻
-
古好 佑輔
岡山県立大学大学院 情報系工学研究科
-
古好 佑輔
岡山県立大学大学院情報系工学研究科
-
宮崎 仁
岡山県立大学大学院情報系工学研究科
-
近藤 真史
岡山県立大学大学院情報系工学研究科
-
茅野 功
川崎医療福祉大学医療技術学部臨床工学科
-
大山 国晃
岡山県立大学大学院情報系工学研究科
-
茅野 功
川崎医療短期大学
-
近藤 真史
川崎医療福祉大学医療技術学部
-
田代 和幸
株式会社富士通テンCI本部商品企画統括部第一企画部第二商品企画チーム
-
佐藤 貞仁
岡山県立大学大学院情報系工学研究科システム工学専攻
-
佐藤 貞仁
岡山県立大学情報工学部
-
佐藤 貞仁
岡山県立大学大学院情報系工学研究科
-
宮崎 仁
川崎医療福祉大学医療技術学部臨床工学科
-
近藤 真史
川崎医療福祉大学医療技術学部臨床工学科
-
有本 和民
岡山県立大学
-
田代 和幸
岡山県立大学大学院情報系工学研究科
-
山田 喜紀
岡山県立大学大学院情報系工学研究科
-
木村 康秀
岡山県立大学大学院情報系工学研究科
-
伊藤 大介
岡山県立大学大学院情報系工学研究科
-
香川 真哉
岡山県立大学大学院情報系工学研究科
-
森 洋史
岡山県立大学情報工学部
-
落水 恭介
岡山県立大学大学院情報系工学研究科機械情報システム工学専攻
-
大平 雅雄
奈良先端科学技術大学院大学 情報科学研究科
-
橋本 龍輝
岡山県立大学大学院情報系工学研究科
-
小野 英治
日立公共システムエンジニアリング株式会社
-
佐藤 洋一郎
総合地球環境学研究所
-
田代 和幸
富士通テン株式会社
-
桐田 和明
岡山県立大学
-
瀬古 剛一
岡山県立大
-
幡谷 大介
岡山県立大学情報工学部
-
宮岡 有希
岡山県立大学情報工学部
-
千坂 純一
岡山県立大学大学院 情報系工学研究科
-
中山 修一
岡山県立大学大学院 情報系工学研究科
-
梅津 寛明
岡山県立大学大学院情報系工学研究科
-
阿部 誠
岡山県立大学大学院情報系工学研究科
-
田辺 勝也
岡山県立大学情報工学部
-
阪井 誠
株式会社sra先端技術研究所
-
横川 智教
岡山県大
-
横森 励士
大阪大学大学院情報科学研究科
-
岩村 聡
NTTソフトウェア株式会社
-
新海 平
(株)日立システムアンドサービス研究開発センタ
-
大平 雅雄
奈良先端科学技術大学院大学情報科学研究科
-
横森 励士
南山大学
-
天嵜 聡介
岡山県立大学
-
平松 修
川崎医療福祉大学医療技術学部臨床工学科
-
天嵜 聡介
岡山県立大学情報工学部情報システム工学科
-
三輪 陽介
岡山県立大学大学院情報系工学研究科
-
茅野 功
川崎医療福祉大学医療技術学部
-
有本 和民
岡山県立大学大学院情報系工学研究科機械情報システム工学専攻
-
横川 智教
岡山県立大学大学院情報系工学研究科機械情報システム工学専攻
著作論文
- Stochastic Timed Petri Net でモデル化した大規模論理回路の性能評価ツール
- リングセグメント型Globally Asynchronous Locally Synchronous Systemの構成法(ネットワークオンチップ,システムオンシリコンを支える設計技術)
- モデル検査ツールUPPAALを用いたGALSシステムの形式的検証(ネットワークオンチップ,システムオンシリコンを支える設計技術)
- 記号モデル検査を用いた状態マシン図とシーケンス図の無矛盾性の検証(設計支援)
- 有界モデル検査を用いた複数UML図の形式的検証
- D-3-3 有界モデル検査を用いた複数UML図の検証に関する検討(D-3.ソフトウェアサイエンス,一般講演)
- Globally Asynchronous Locally Synchronous Systemの性能評価に関する一検討(上流設計技術(2),システムオンシリコン設計技術並びにこれを活用したVLSI)
- 射影変換の高速化に関する一検討(演算回路/専用回路,システムオンシリコン設計技術並びにこれを活用したVLSI)
- K_067 透視化機能をもつマルチウィンドウシステムの高解像度化(K分野:ヒューマンコミュニケーション&インタラクション)
- B_003 シーケンス図と状態遷移図で記述されたUMLモデルを対象としたモデル検査による形式的検証(B分野:ソフトウェア)
- D-11-97 漸化式表現による再構成型幾何学変換器(D-11.画像工学D(画像処理・計測),一般講演)
- D-11-64 多眼カメラによるモザイク動画像生成に関する研究(D-11.画像工学D(画像処理・計測),一般講演)
- D-10-1 モデル検査手法を用いたUML図の検証(D-10.ディペンダブルコンピューティング,一般講演)
- C-024 ウィンドウの透視化と輝度低下機能を持つマルチウィンドウシステムの評価(C分野:アーキテクチャ・ハードウェア)
- D-11-69 射影変換を対象としたDRAM-SRAM間画像転送法(D-11. 画像工学B(画像デバイス・装置), 情報・システム2)
- D-11-27 RISC命令の並列実行機能を有する画像処理用DSP(D-11. 画像工学A(画像基礎・符号化), 情報・システム2)
- C-019 操作対象ウィンドウの透視化機能を持つマルチウィンドウシステム(C.アーキテクチャ・ハードウェア)
- Globally Asynchronous Locally Synchronous Systemの性能評価に関する一検討(上流設計技術(2),システムオンシリコン設計技術並びにこれを活用したVLSI)
- 射影変換の高速化に関する一検討(演算回路/専用回路,システムオンシリコン設計技術並びにこれを活用したVLSI)
- ソフトウェア開発プロジェクトのリアルタイム管理を目的とした支援システム(ソフトウェア開発環境・開発支援システム, システム開発論文)
- タブーサーチを用いた臨床実習スケジューリングの自動化
- AS-1-2 GALSシステムを対象としたペトリネットシミュレーションにおけるアービタのモデル化(AS-1.モデリングとシミュレーションの最新動向,シンポジウムセッション)
- ペトリネットシミュレーションの高速化を指向した接続行列の一生成法(グラフ,ペトリネット,ニューラルネット,及び一般)
- ペトリネットシミュレーションの高速化を指向した接続行列の一生成法(グラフ,ペトリネット,ニューラルネット,及び一般)
- ペトリネットシミュレーションの高速化を指向した接続行列の一生成法
- ペトリネットシミュレーションの高速化を指向した接続行列の一生成法
- GPGPUを用いた透視化マルチウィンドウの一高速合成手法(視覚とIMQ一般)
- Globally Asynchronous Locally Synchronous Systemにおける非同期バスの一構成法(計算機システム)
- B-027 時間ペトリネットでモデル化されたGALSシステムを対象としたUPPAALによる自動検証手法(ソフトウェアサイエンス,B分野:ソフトウェア)
- メタステーブル動作持続時間を隠蔽するツリー型非同期式アービタ(システムと信号処理及び一般)
- メタステーブル動作持続時間を隠蔽するツリー型非同期式アービタ(システムと信号処理及び一般)
- メタステーブル動作持続時間を隠蔽するツリー型非同期式アービタ(システムと信号処理及び一般)
- C-016 多様な資源を対象とした多資源非同期式アービタの一構成(システム設計,C分野:ハードウェア・アーキテクチャ)
- メタステーブル動作持続時間を隠蔽するツリー型非同期式アービタ(システムと信号処理及び一般)
- 状態マシン図を用いたスマートフォンアプリのモデル化
- 状態マシン図を用いたスマートフォンアプリのモデル化
- GPGPUを用いた透視化マルチウィンドウの一高速合成手法
- リングセグメント型GALSシステムの階層化