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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 45件中 1〜20件目  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
MSS, CAS, SIP, VLD
(共催)
2019-07-31
16:45
岩手 岩手大学 デジタル補聴器用DSPを対象とした休止相の隠蔽による非同期式直列乗算器の高速化
永田将大岡山県立大)・近藤真史茅野 功川崎医療福祉大)・横川智教有本和民佐藤洋一郎岡山県立大
 [more]
KBSE, SS
(共催)
IPSJ-SE
(連催) [詳細]
2019-07-12
15:35
北海道 小樽経済センター ビジュアルプログラミングを用いたNuSMVのモデル生成支援環境
内藤駿人横川智教天嵜聡介岡山県立大)・阿萬裕久愛媛大)・有本和民岡山県立大
 [more]
KBSE, SS
(共催)
IPSJ-SE
(連催) [詳細]
2019-07-12
16:00
北海道 小樽経済センター 階層的な制御構造をもつシーケンス図間の整合性検証手法の開発
松本 明横川智教天嵜聡介岡山県立大)・阿萬裕久愛媛大)・有本和民岡山県立大
 [more]
MSS, SS
(共催)
2019-01-16
10:25
沖縄 沖縄県青年会館 SMTソルバを用いた時間ペトリネットの非有界モデル検査
井川 直横川智教岡山県立大)・近藤真史川崎医療福祉大)・佐藤洋一郎有本和民岡山県立大
 [more] MSS2018-69 SS2018-40
pp.79-84
RCS, AP
(併催)
2018-11-22
09:50
沖縄 沖縄産業支援センター ドローンを用いたITS融合ネットワーク無線回線設計
仲栄真一成阿部海人藤井 知沖縄高専)・有本和民岡山県立大)・山内直樹テクノアクセルネットワークス)・木下研作吉川憲昭サイバー創研
 [more] RCS2018-204
pp.149-154
RCS, AP
(併催)
2018-11-22
10:10
沖縄 沖縄産業支援センター ドローン高度適応型高精度着陸システム
有本和民岡山県立大)・藤井 知沖縄高専)・山内直樹テクノアクセルネットワークス)・木下研作吉川憲昭サイバー創研
 [more] RCS2018-205
pp.155-160
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
VLD, DC, IPSJ-SLDM
(連催)
ICD, CPM
(共催)
CPSY, RECONF
(併催) [詳細]
2014-11-28
10:30
大分 ビーコンプラザ(別府国際コンベンションセンター) メモリをベースにしたマイコン周辺回路用フィールドプログラマブルデバイスのLSI実装
川村嘉郁岡田尚也松田吉雄金沢大)・松村哲哉日大)・牧野博之阪工大)・有本和民岡山県立大
我々は,マイコン周辺回路用に最適化された,メモリをベースにしたフィールドプログラマブルシーケンサ&メモリ(FPSM)を提... [more] VLD2014-108 DC2014-62
pp.239-244
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
IE, ICD, VLD
(共催)
IPSJ-SLDM
(連催) [詳細]
2013-10-07
10:30
青森 弘前大学 コラボ弘大 メモリをベースにした省電力MCU内蔵フィールドプログラマブルデバイス
松村哲哉日大)・川村嘉郁ルネサス エレクトロニクス)・岡田尚也金沢大)・有本和民岡山県立大)・牧野博之阪工大)・松田吉雄金沢大
メモリをベースにしたフィールドプログラマブルシーケンサ&メモリ(FPSM)のアーキテクチャが報告されている.FPSMは内... [more] VLD2013-46 ICD2013-70 IE2013-46
pp.1-6
 45件中 1〜20件目  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式


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

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


IEICE / 電子情報通信学会