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



2016年度

2017.01.19-20
京都工芸繊維大学にて開催された システム数理と応用研究会 にて,1件の発表を行いました.
  • 井川ほか:有界モデル検査の高速化を指向した差分論理に基づく時間ペトリネットの論理式表現
2017.01.19-20
高山市民文化会館にて開催された ウィンターワークショップ2017・イン・飛騨高山 「形式手法 -効果的な活用に向けて」セッションにて,1件の発表を行いました.
  • 井川ほか:時間ペトリネットを対象とした非有界モデル検査の高速化に関する検討
2016.12.01-03
ことひら温泉 琴参閣にて開催された 第 23 回ソフトウェア工学の基礎ワークショップ (FOSE2016) ポスターセッションにて,2件の発表を行いました.
  • 井川ほか:有界モデル検査の高速化を指向した時間ペトリネットの論理式表現
  • 笠原ほか:モデル検査を用いたWebアプリケーションのテストケース数削減手法
20161202_FOSE2016-1_thumb 20161202_FOSE2016-2_thumb
2016.11.16-18
パシフィコ横浜にて開催された 組込総合技術展 2016 (ET2016) にて展示を行いました.

20161118_ET2016_thumb
2016.11.11
上海交通大学にて開催された SJTU-OPU Joint Workshop on Embedded System, Intelligent Information Processing and Control Technology にて,7件の発表を行いました.
  • 井川:Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking
  • 中野:Implementation and evaluation of distributed asynchronous arbiters on multiple FPGAs
  • 江見:A modeling method for surface shape of materials based on the image processing using tactile sensor
  • 遠藤:High quality of image data delivery in the drone systems
  • 高:A study of ECG monitoring condition for flexible human interface
  • 山下:A study on detection of heart beat with a UWB sensor
  • 坂村:A study of normally off computing for battery operated system
20161111-Shanghai-1_thumb 20161111-Shanghai-2_thumb 20161112-Shanghai-1_thumb
2016.10.27-28
彦根勤労福祉会館にて開催された 電子情報通信学会ディペンダブルコンピューティング研究会 (SIG-DC) にて,1件の発表を行いました.
  • 笠原ほか:モデル検査を用いたWebアプリケーションのテストケース生成
20161027_SIGDC_thumb
2016.10.22
広島大学にて開催された,平成28年度 (第67回) 電気・情報関連学会中国支部連合大会にて,5件の発表を行いました.
  • 遠藤ほか:GDDR5を用いたパケットメモリにおけるアクセス高速化の一提案
  • 江見ほか:触覚MEMSセンサを用いた画像処理による物質表面形状検査モデル作成の検討
  • 山下ほか:UWBセンサを用いた 心拍動の検出手法に関する一考察
  • 高ほか:ドライバーモニタ用心拍信号 R-R-I 抽出に関する一考察
  • 坂村ほか:スーパーキャパシタを用いたノーマリオフコンピューティングの検討
20161022_rentai2016-1_thumb 20161022_rentai2016-2_thumb 20161022_rentai2016-3_thumb 20161022_rentai2016-4_thumb 20161022_rentai2016-5_thumb
2016.09.01-02
東洋大学 白山キャンパスにて開催された ソフトウェアエンジニアリングシンポジウム2016 ポスターセッションにて,2件の発表を行いました.
  • 井川ほか:時間ペトリネットに対する有界モデル検査の高速化を指向した論理式表現法
  • 笠原ほか:モデル検査によるWebアプリケーションの効率的なテスト生成手法
2016.08.31
東洋大学 白山キャンパスにて開催された ソフトウェアエンジニアリングシンポジウム2016 併設ワークショップ にて,2件の発表を行いました.
  • 井川ほか:差分論理表現に基づく時間ペトリネットの有界モデル検査の高速化
  • 笠原ほか:モデル検査を用いた Web アプリケーションのテストケース生成
2015.07.07-08
グランフロント大阪にて開催された 組込総合技術展 関西 2016 (ETWest2016) にて展示を行いました.

20160708_ETWest2016_thumb
2016.05.16-17
東京大学 生産技術研究所にて開催された LSI とシステムのワークショップ 2016 ポスターセッションにて,4件の発表を行いました.
  • 中野ほか:複数のFPGAに対する分散型非同期式アービタの実装と評価
  • 森光ほか:Verilogコードの自動検証環境の開発
  • 佐保ほか:ハードウェアの再利用性を考慮した画像認識コアの設計
  • 犬塚ほか:ノーマリオフ機能を搭載した低消費電力ペースメーカ設計
log: 2015 2014 2013



TOP