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



2014年度

2015.03.10-13
立命館大学にて開催された,電子情報通信学会総合大会にて,2件のポスター展示を行いました.
  • 小田桐ほか:リングセグメント型GALSシステムを対象とした分散型アービタの設計
  • 神﨑ほか:バッテリ特性を考慮したノーマリオフコンピューティングの基礎検討
2015.01.22-23
沖縄県・カルチャーリゾートフェストーネにて開催された,ウィンターワークショップ・イン・宜野湾にて,1件の発表を行いました.
  • 横川ほか:検証およびテスト生成の自動化を指向したWebナビゲーションのモデル化
2014.12.06-07
尾道商工会議所記念館にてソフトウェア信頼性研究会第10回ワークショップを開催いたしました.
2014.11.19-21
パシフィコ横浜にて開催されたEmbedded Technology 2014(ET2014)にて展示を行いました.
2014.10.25
福山大学にて開催された平成26年度(第65回)電気・情報関連学会中国支部連合大会にて,3件の発表を行いました.
  • 尾上ほか:徐脈性不整脈の確率的出現に対応した模擬心電位発生装置
  • 赤利ほか:分散制御型リングセグメントバスシステムの構成法
  • 神﨑ほか:電池駆動ノーマリオフコンピューティングにおける電源制御方式の基礎検討
2014.09.01-03
芝浦工業大学 芝浦キャンパスにて開催されたソフトウェアエンジニアリングシンポジウム2014(SES2014)にて,チュートリアル発表を行いました.
  • 横川:組込みソフトウェア設計検証へのモデル検査技術の導入に関する技術動向
また,ワークショップ(討論テーマ:形式手法)において,1件の発表を行いました.
  • 横川ほか:サイズ削減を目的とした時間ペトリネットから時間オートマトンへの変換法
2014.08.27-29
イタリア ヴェローナ大学にて開催されたEuroMicro DSD/SEAA 2014にて,1件の発表を行いました.
  • T. Yokogawa et al. : A Translation Method from Petri Nets into Compact Timed Automata
2014.07.29-30
グランフロント大阪にて開催されたEmbedded Technology West 2014(ETWest2014)にて展示を行いました.
2014.07.09-11
北海道大学にて開催された電子情報通信学会VLSI設計技術研究会にて,1件の発表を行いました.
  • 小田桐ほか:リングセグメント型GALSシステムを対象とした分散型非同期式アービタ





TOP