お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (検索条件: すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 39件中 1~20件目  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
SIP, SP, EA
(共催)
IPSJ-SLP
(連催) [詳細]
2024-02-29
09:30
沖縄 沖縄産業支援センター
(ハイブリッド開催,主:現地開催,副:オンライン開催)
話者照合のための声道長摂動に基づく疑似話者生成によるデータ拡張
若松智花塩田さやか貴家仁志都立大EA2023-61 SIP2023-108 SP2023-43
近年主流となっている深層学習モデルを用いた話者照合システムにおいて,信頼性の高いモデルを構築するためには大量の学習データ... [more] EA2023-61 SIP2023-108 SP2023-43
pp.1-6
ITS, WBS, RCC
(共催)
2023-12-22
11:45
沖縄 みんなの貸会議室 那覇泉崎店
(ハイブリッド開催,主:現地開催,副:オンライン開催)
バスの自動走行における安全性検証のためのシミュレーションに関する一検討
大川 彪金 帝演鶴岡高専)・毋 岩斌髙橋幸也熊谷 徹橋本尚久産総研WBS2023-55 ITS2023-38 RCC2023-49
自動運転における実環境下での安全性検証にはコストや外部センサーの物理的制約など様々な問題がある。このような問題を解決する... [more] WBS2023-55 ITS2023-38 RCC2023-49
pp.138-143
MSS, NLP
(共催)
2022-03-29
14:55
ONLINE オンライン開催 Little-JILを用いた宇宙機システム運用シナリオのモデル検証
染谷一徳JAXA)・平石邦彦北陸先端大MSS2021-78 NLP2021-149
X線天文衛星「ひとみ」の異常事象のように、運用シナリオに不備がある場合、衛星損失につながる可能性がある。そこで、Mode... [more] MSS2021-78 NLP2021-149
pp.121-126
QIT
(第二種研究会)
2021-12-01
14:00
ONLINE オンライン開催 NISQ計算の分割統治による検証
竹内勇貴高橋康博NTT)・森前智行京大)・谷 誠一郎NTT
様々なNISQ計算は、疎な量子チップ上の浅層量子回路と見なすことが出来る。本発表では、そのようなNISQ計算を効率良く検... [more]
VLD, DC, RECONF, ICD, IPSJ-SLDM
(連催)
(併催) [詳細]
2020-11-18
13:00
ONLINE オンライン開催 [基調講演]スーパーコンピュータ「富岳」における論理・性能・電力品質の保証
吉川隆英富士通研VLD2020-36 ICD2020-56 DC2020-56 RECONF2020-55
スーパーコンピュータ「富岳」は約16万ノードの大規模システムであるため、組み上げてから障害が出てきたのでは修正が困難とな... [more] VLD2020-36 ICD2020-56 DC2020-56 RECONF2020-55
p.138
KBSE, SC
(共催)
2019-11-08
15:40
長野 信州大学 ある組込みシステムの開発と検証のケーススタディ
岡野浩三小形真平夏目実希信州大KBSE2019-30 SC2019-27
組込みシステムの作成と設計検証を通じてとりわけ,未知の技術を初学者の技術者が取り組むときの課題点,作業について報告する.... [more] KBSE2019-30 SC2019-27
pp.41-46
CS 2019-07-04
09:00
鹿児島 奄美市福祉協議会 奄美市社会福祉センター NDNにおいてユーザのコンテンツ取得傾向に基づく信頼値により攻撃者の行動を制限する方式
中野紘典加藤広野春田秀一郎吉田匡志笹瀬 巌慶大CS2019-13
本稿では,NDNにおいてユーザのコンテンツ取得傾向に基づく信頼値により攻撃者の行動を制限する方式を提案する.提案方... [more] CS2019-13
pp.1-6
SS 2019-03-04
17:10
沖縄 沖縄産業支援センター ハイブリッドシステムの安全検証に向けた形式的なSTAMPモデルの提案
辻 光顕高井利憲奈良先端大)・片平真史石濱直樹JAXA)・柿本和希飯田 元奈良先端大SS2018-67
自動運転車や人工衛星などの宇宙機に用いられるシステムには高い安全性が要求される。近年、このようなシステムに対する安全分析... [more] SS2018-67
pp.91-96
SS, MSS
(共催)
2018-01-18
15:05
広島 広島市立大学サテライトキャンパス EDFスケジューリングでプロセッサ共有する実時間マルチタスク分散システムに対する拡張時間ペトリネットを用いたデッドライン割り当て最適化手法
松岡伶音中田明夫広島市大MSS2017-56 SS2017-43
性能とリソースの制約が共に厳しく,高い信頼性を要求される組込みソフトウェア開発においては,開発の設計段階で性能要求を満た... [more] MSS2017-56 SS2017-43
pp.53-58
SS, KBSE
(共催)
IPSJ-SE
(連催) [詳細]
2017-07-19
11:10
北海道 函館コミュニティプラザ 車載ソフトウェアのためのダイナミックマップにおける動的情報の信頼性検証法
渡邉陽介名大)・佐藤守一豊田中研)・関 浩之結縁祥治名大SS2017-3 KBSE2017-3
自動車業界では,高精度な道路地図情報に他車両等の動的物体の情報を加えたダイナミックマップ(以下LDMと呼ぶ)が検討されて... [more] SS2017-3 KBSE2017-3
pp.13-18
NS, IN
(併催)
2017-03-02
11:20
沖縄 沖縄残波岬ロイヤルホテル ネットワーク機器における設定情報の抽象化に関する研究
廣瀬真人明石邦夫篠田陽一北陸先端大
インターネット初期におけるネットワークは、現在と比べて単純な構造であった。
そのため、ネットワークオペレータがネットワ... [more]

RCS 2016-10-20
13:00
神奈川 YRP(横須賀) [依頼講演]同一周波数帯における4G LTEと5Gの共存に関する一検討
戸田和秀柴山昌也森脇和也末柄恭宏KDDI研RCS2016-165
現在,5Gサービス用の周波数帯として,主に高い周波数帯の割当が検討されている.高い周波数帯は連続した広い帯域を確保するこ... [more] RCS2016-165
pp.71-76
SS, MSS
(共催)
2016-01-25
18:30
石川 しいのき迎賓館 セミナールームB モデル検査とテストを応用した制御システム検証手法の検討
松原潤弥髙木理恵子中澤輝幸デンソークリエイト)・東道徹也井原博之川合幸典デンソーMSS2015-52 SS2015-61
近年の車載制御システムの複雑化により,システムの信頼性の確保とその客観性が求められている.このため,システム設計の過程で... [more] MSS2015-52 SS2015-61
pp.99-103
SS, MSS
(共催)
2016-01-26
11:55
石川 しいのき迎賓館 セミナールームB Least Laxity Firstスケジューラで資源共有する組込みソフトウェア仕様の拡張時間ペトリネットによるモデル化および性能検証
中村貴史中田明夫広島市大MSS2015-59 SS2015-68
性能とリソースの制約が共に厳しく,高い信頼性を要求される組込みソフトウェア開発においては,開発の設計段階で性能要求を満た... [more] MSS2015-59 SS2015-68
pp.135-140
SS 2015-05-11
16:30
熊本 熊本大学 マルチプロセッサ環境で動作する組込みソフトウェアの拡張時間ペトリネットによるモデル化および性能検証
中村貴史中田明夫広島市大SS2015-7
性能とリソースの制約が共に厳しく,高い信頼性を要求される組込みソフトウェア開発においては,開発の設計段階で性能要求を満た... [more] SS2015-7
pp.33-37
CPSY, DC
(共催)
IPSJ-EMB, IPSJ-SLDM
(共催)
(連催) [詳細]
2015-03-07
14:15
鹿児島 奄美市社会福祉協議会 会議室(2F・4F) 組込みシステム検証向け協調シミュレーションの高速化
中田啓明森島憲太勝 康夫日立CPSY2014-183 DC2014-109
組込みシステム検証にて活用され始めたマイコンシミュレータとプラントシミュレータを用いた協調シミュレーション技術の適用分野... [more] CPSY2014-183 DC2014-109
pp.137-142
VLD, IPSJ-SLDM
(連催)
2014-05-29
11:05
福岡 北九州国際会議場 11会議室 SystemCモデルから束データ方式による非同期式回路を合成する合成フローの提案
小峰太一齋藤 寛会津大VLD2014-5
本稿では,束データ方式による非同期式回路をSystemC モデルからレイアウトまで設計するためのフローを提案する.提案す... [more] VLD2014-5
pp.21-26
VLD 2014-03-05
15:45
沖縄 沖縄県青年会館 VerilogHDLによるハードウェア設計への記号モデル検査の適用事例
横川智教東山大地岡山県立大)・近藤真史川崎医療福祉大)・佐藤洋一郎有本和民岡山県立大VLD2013-166
従来のランダムテストによるIP検証では,検証の網羅性を保証することが極めて困難であることから,モデル検査による形式的検証... [more] VLD2013-166
pp.177-182
SS, MSS
(共催)
2014-01-30
14:50
愛知 豊田中央研究所 拡張SysML記述に対する性能検証に必要な情報の抽出手法の提案
元家裕介中田明夫広島市大MSS2013-55 SS2013-52
組込みシステム開発においては,厳しいリソース制約下での性能要求の達成は重要な設計目標の一つであり,設計段階で性能要求を満... [more] MSS2013-55 SS2013-52
pp.23-28
KBSE 2013-03-15
11:25
東京 芝浦工業大学 アーキテクチャに基づく検証ケースの提案
山本修一郎名大KBSE2012-82
システムの妥当性を形式手法だけで検証することは実践的ではない.このため形式手法と,テストやレビュなどとの組み合わせを明確... [more] KBSE2012-82
pp.79-83
 39件中 1~20件目  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会