電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ/通ソ)
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 27件中 1~20件目  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
SDM, ICD
(共催)
ITE-IST
(連催) [詳細]
2019-08-08
14:20
北海道 北海道大学 情報科学院 3F A31 省電力ドローン搭載物体検出組み込みAIシステムの検討
小林倫貴有本和民横川智教井川 直岡山県立大)・藤井 知沖縄高専
 [more]
MSS, CAS, SIP, VLD
(共催)
2019-07-31
16:45
岩手 岩手大学 デジタル補聴器用DSPを対象とした休止相の隠蔽による非同期式直列乗算器の高速化
永田将大岡山県立大)・近藤真史茅野 功川崎医療福祉大)・横川智教有本和民佐藤洋一郎岡山県立大
近年,デジタル信号処理回路(DSP)を内蔵したデジタル補聴器が普及しているが,その電池寿命は数日程度に留まっているのが現... [more] CAS2019-22 VLD2019-28 SIP2019-38 MSS2019-22
pp.99-104
KBSE, SS
(共催)
IPSJ-SE
(連催) [詳細]
2019-07-12
15:35
北海道 小樽経済センター ビジュアルプログラミングを用いたNuSMVのモデル生成支援環境
内藤駿人横川智教天嵜聡介岡山県立大)・阿萬裕久愛媛大)・有本和民岡山県立大
 [more] SS2019-1 KBSE2019-11
pp.41-46
KBSE, SS
(共催)
IPSJ-SE
(連催) [詳細]
2019-07-12
16:00
北海道 小樽経済センター 階層的な制御構造をもつシーケンス図間の整合性検証手法の開発
松本 明横川智教天嵜聡介岡山県立大)・阿萬裕久愛媛大)・有本和民岡山県立大
 [more] SS2019-2 KBSE2019-12
pp.47-52
MI 2019-07-05
17:10
北海道 はこだて未来大学 [ショートペーパー]GPUを用いた血管径可視化手法の高速化
上田 満岡山県立大)・近藤真史茅野 功川崎医療福祉大)・横川智教佐藤洋一郎岡山県立大)・杉原雄策松本和幸岡山大病院
血管や消化器系等の管状組織の診断では,その管径や狭窄形態が重要な所見となるが,その判断は医師の主観的な評価に委ねられてい... [more] MI2019-23
pp.21-22
MSS, SS
(共催)
2019-01-16
10:25
沖縄 沖縄県青年会館 SMTソルバを用いた時間ペトリネットの非有界モデル検査
井川 直横川智教岡山県立大)・近藤真史川崎医療福祉大)・佐藤洋一郎有本和民岡山県立大
 [more] MSS2018-69 SS2018-40
pp.79-84
IPSJ-ARC, IPSJ-SLDM
(共催)
VLD, CPSY, RECONF
(共催)
(連催) [詳細]
2018-01-18
13:50
神奈川 慶應義塾大学 日吉キャンパス 来往舎 スタック回路を用いたノーマリオフコンピューティングの検討
坂村賢士有本和民茅野 功横川智教岡山県立大
チャージリサイクルを利用したスタック回路は、ストリーミング処理等の動作時の消費電力化に有効である。一方、ノーマリオフコン... [more] VLD2017-70 CPSY2017-114 RECONF2017-58
pp.49-51
MSS, SS
(共催)
2017-01-27
09:00
京都 京都工芸繊維大学 60周年記念館 2階大セミナー室 有界モデル検査の高速化を指向した差分論理に基づく時間ペトリネットの論理式表現
井川 直横川智教岡山県立大)・宮崎 仁近藤真史川崎医療福祉大)・佐藤洋一郎有本和民岡山県立大
 [more] MSS2016-67 SS2016-46
pp.59-64
DC, SS
(共催)
2016-10-27
14:30
滋賀 彦根勤労福祉会館(彦根市) モデル検査を用いたWebアプリケーションのテストケース生成
笠原大和横川智教佐藤洋一郎有本和民岡山県立大
 [more] SS2016-24 DC2016-26
pp.37-42
VLD, CAS, MSS, SIP
(共催)
2016-06-16
11:40
青森 弘前市立観光館 ビットシリアル型積和演算器における冗長演算の省略制御とその応用
岡本大地岡山県立大)・近藤真史川崎医療福祉大)・瀬島吉裕横川智教有本和民佐藤洋一郎岡山県立大
近年,デジタル信号処理回路(DSP)を内蔵したデジタル補聴器が普及しているが,その電池寿命は数日程度に留まっているのが現... [more] CAS2016-7 VLD2016-13 SIP2016-41 MSS2016-7
pp.35-40
VLD 2016-02-29
13:30
沖縄 沖縄県青年会館 Verilog-HDLによる大規模ハードウェア設計の検証支援ツールの開発
森光勇太横川智教岡山県立大)・近藤真史宮崎 仁川崎医療福祉大)・佐藤洋一郎有本和民岡山県立大)・吉田則裕名大
本稿では,Verilog-HDLで記述された大規模ハードウェア設計の検証支援ツールについて報告する.
検証には,フォー... [more]
VLD2015-111
pp.1-6
MSS, CAS
(共催)
IPSJ-AL
(連催) [詳細]
2015-11-21
11:15
鹿児島 指宿市民会館 大会議室 負数演算機能を備えたビットシリアル積和演算器
岡本大地岡山県立大)・近藤真史川崎医療福祉大)・瀬島吉裕佐藤洋一郎横川智教有本和民岡山県立大
近年,高性能な信号処理回路(DSP)を搭載したデジタル補聴器が普及しているが,DSPへの演算負荷の増大によりその電池寿命... [more] CAS2015-58 MSS2015-32
pp.115-120
MSS, CAS, SIP, VLD
(共催)
2015-06-17
11:35
北海道 小樽商科大学 大規模ハードウェアIPへの記号モデル検査の適用事例
森光勇太横川智教岡山県立大)・近藤真史宮崎 仁川崎医療福祉大)・佐藤洋一郎有本和民岡山県立大
 [more] CAS2015-6 VLD2015-13 SIP2015-37 MSS2015-6
pp.31-36
CAS, MSS
(共催)
IPSJ-AL
(連催) [詳細]
2014-11-20
10:40
沖縄 大濱信泉記念館(石垣島) デジタル補聴器用DSPを対象とした非同期式直列乗算器の一構成法
近藤真史岡本大地川崎医療福祉大)・佐藤洋一郎横川智教有本和民岡山県立大
近年,高齢化社会の進展に伴う難聴者の増加により,デジタル信号処理回路(DSP)を内蔵したデジタル補聴器が広く普及している... [more] CAS2014-89 MSS2014-53
pp.11-16
IE, ICD, VLD
(共催)
IPSJ-SLDM
(連催) [詳細]
2014-10-02
14:15
宮城 東北大学 さくらホール リングセグメント型GALSシステムの階層化
近藤真史川崎医療福祉大)・横川智教佐藤洋一郎有本和民岡山県立大
筆者らは,大域非同期局所同期(GALS)システムに対する非同期バスの一つとして,環状のバスを複数のセグメントに分割した上... [more] VLD2014-63 ICD2014-56 IE2014-42
pp.19-24
CAS, SIP, MSS, VLD, SIS
(共催) [詳細]
2014-07-11
15:10
北海道 北海道大学 リングセグメント型GALSシステムを対象とした分散型非同期式アービタ
小田桐由樹赤利昌紀岡山県立大)・近藤真史川崎医療福祉大)・横川智教佐藤洋一郎有本和民岡山県立大
GALSシステムに内蔵される非同期バスの一つとして,環状のバスを複数のセグメントに分割した上で,それらを動的に接続するリ... [more] CAS2014-44 VLD2014-53 SIP2014-65 MSS2014-44 SIS2014-44
pp.237-242
CS, CAS, SIP
(共催)
2014-03-06
13:25
大阪 大阪市立大学 学術情報総合センター 行列圧縮とGPGPUを利用したペトリネットシミュレーションの高速化
河村 喬佐藤洋一郎横川智教岡山県立大)・近藤真史川崎医療福祉大)・有本和民岡山県立大
筆者等は,大規模デジタルシステムを確率時限ペトリネット(STPN)でモデル化し,ペトリネットシミュレーションを繰り返し実... [more] CAS2013-106 SIP2013-152 CS2013-119
pp.91-96
VLD 2014-03-05
15:45
沖縄 沖縄県青年会館 VerilogHDLによるハードウェア設計への記号モデル検査の適用事例
横川智教東山大地岡山県立大)・近藤真史川崎医療福祉大)・佐藤洋一郎有本和民岡山県立大
従来のランダムテストによるIP検証では,検証の網羅性を保証することが極めて困難であることから,モデル検査による形式的検証... [more] VLD2013-166
pp.177-182
SS, KBSE
(共催)
2013-07-25
16:40
北海道 北海道立道民活動センター [かでる2.7] 710会議室(7階) 状態マシン図を用いたスマートフォンアプリのモデル化
落水恭介横川智教岡山県立大)・宮崎 仁川崎医療福祉大)・佐藤洋一郎有本和民岡山県立大
本稿では,UMLの状態マシン図を用いてスマートフォンアプリをモデル化する手法を提案している.
アプリを動作させるユーザ... [more]
SS2013-21 KBSE2013-21
pp.49-54
VLD, CAS, MSS, SIP
(共催)
2012-07-02
13:40
京都 京都リサーチパーク メタステーブル動作持続時間を隠蔽するツリー型非同期式アービタ
近藤真史川崎医療福祉大)・大山国晃古好佑輔横川智教佐藤洋一郎岡山県立大
近年,多くの計算機システムは複数のプロセッサコアで構成されており,コア間の通信に用いる共有のバスやメモリへのアクセスに関... [more] CAS2012-9 VLD2012-19 SIP2012-41 MSS2012-9
pp.49-54
 27件中 1~20件目  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会