回路デザイン研究室 >> event



2013年度

2014.03.20
新潟大学にて開催された,電子情報通信学会総合大会にて,2件の発表および4件のポスター展示を行いました.
  • 口頭発表
    • 佐藤ほか:加算器のみを用いた再構成型幾何学変換器
    • 有本,上野ほか:ストリームシーケンシャル処理向け組込み高機能FIFOの検討
  • ポスター展示
    • 松本ほか:生体適合性の向上を指向した低消費電力心臓ペースメーカの設計
    • 森ほか:GPGPUを利用した高速透視化マルチウィンドウシステムのX Window Systemへの組み込み
    • 河村ほか:行列圧縮とGPGPUを利用したペトリネットシミュレーションの高速化
    • 小田桐ほか:バス制御を伴う分散型非同期式アービタの構成法に関する研究
2014.03.03-05
沖縄県青年会館にて開催された電子情報通信学会VLSI設計技術研究会にて,1件の発表を行いました.
  • 横川ほか:VerilogHDLによるハードウェア設計への記号モデル検査の適用事例
2014.01.23-24
茨城県・大洗ホテルにて開催された,ウィンターワークショップ・イン・大洗にて,2件の発表を行いました.
  • 横川ほか:CSPを用いた状態マシン図とシーケンス図の整合性検証
  • 宮崎,横川ほか:状態マシン図を用いたスマートフォンアプリのモデル化手法
2013.12.17
岡山県立大学にて,モデル検査意見交換会を実施しました.
2013.12.11-12
愛媛大学 校友会館にてソフトウェア信頼性研究会第9回ワークショップ(プログラム)を開催いたしました.
2013.12.05
ひめぎんホールにて開催されたNCSS'13(3rd International Workshop on Networking, Computing, Systems, and Software)にて,研究発表を行いました.
  • M. Ogino et al.:Implementation of Tree Arbiter for FPGA and Metastability Analysis
2013.12.02-04
カナダ バンクーバーにて開催されたPRDC2013(The 19th IEEE Pacific Rim International Symposium on Dependable Computing)にて,1件の発表を行いました.
  • T. Yokogawa et al. : Consistency verification of UML diagrams based on process bisimulation (fast abstract)
2013.11.20-22
パシフィコ横浜にて開催されたEmbedded Technology 2013(ET2013)にて展示を行いました.
2013.10.19
岡山大学にて開催された平成25年度(第64回)電気・情報関連学会中国支部連合大会にて,4件の発表を行いました.
  • 荻野ほか:FPGAに実装したRSFFのメタステーブル動作解析
  • 小田桐ほか:GALSシステムを対象とした同期式アービタの構成法
  • 岡崎ほか:階層構造を持つ状態マシン図とシーケンス図の整合性検証
  • 上野ほか:高性能・低消費電力化を目的としたマルチセンサノードの構成法

2013.09.20-21
国民宿舎 小豆島にて,大阪大学大学院情報科学研究科土屋研究室と合同勉強会を行いました.
2013.09.12
新横浜国際ホテルにて開催されたSTARCワークショップ2013にて,「論理モデルの抽象化技術に基づいたSoCフォーマル検証手法」という題目で発表を行いました.
2013.09.09-11
東洋大学にて開催されたソフトウェアエンジニアリングシンポジウム2013(SES2013)のワークショップにて,3件の発表を行いました.
  • 横川ほか:状態マシン図とシーケンス図の論理式表現に関する検討
  • 片山ほか:CSPを用いたUML図の整合性検証に関する検討
  • 落水ほか:状態マシン図を用いたスマートフォンアプリのモデル化に関する検討
2013.07.25-26
北海道立道民活動センターにて開催された電子情報通信学会ソフトウェアサイエンス研究会にて発表を行いました.
  • 落水ほか:状態マシン図を用いたスマートフォンアプリのモデル化
2013.06.13-14
インテックス大阪にて開催されたEmbedded Technology West 2013(ETWest2013)にて展示を行いました.
2013.05.13-15
北九州国際会議場にて開催されたLSIとシステムのワークショップ2013にて,1件の発表を行いました.
  • 松本ほか:心臓ペースメーカにおける制御機構の低消費電力化




TOP