| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| IPSJ-MUS, IPSJ-SLP (共催) SP (連催) [詳細] |
2024-06-14 13:50 |
東京 | 日本大学 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
リアルタイムに動作する方向と声の特徴を利用した目標音抽出 ○大原健悟・大角耕介・山本絵里香・諸菱正典・荒川隆行（京セラ）  SP2024-2 |
(ご登録済みです．開催日以降に掲載されます) [more] | SP2024-2 pp.5-10 |
| ICTSSL, CAS (共催) |
2022-01-21 10:15 |
ONLINE | オンライン開催 | クラウドソーシングにおける回答のリアルタイム性向上手法の検討 ○板野竜也・目良侃太郎・小板隆浩（同志社大） CAS2021-62 ICTSSL2021-39 |
近年，高画質な監視カメラが低価格で手に入るようになり，広く普及している．このような監視カメラの映像から，あらゆる犯罪を自... [more] | CAS2021-62 ICTSSL2021-39 pp.46-51 |
| MSS, NLP (併催) |
2018-03-13 14:55 |
大阪 | 大阪大学豊中キャンパス | 定理証明器Princessを用いた組込みアセンブリプログラムのリアルタイム安全性の演繹的検証 ○小田島直樹（金沢大）・福田岳飛（金沢錦丘高校）・山根 智（金沢大） MSS2017-84 |
組込みシステムでは, 論理的正当性だけではなく, リアルタイム性の検証が重要である. 本論文では, 組込みプログラムのリ... [more] | MSS2017-84 pp.35-40 |
| SIP, CAS, MSS, VLD (共催) |
2017-06-20 09:30 |
新潟 | 新潟大学五十嵐キャンパス 中央図書館ライブラリーホール | 組込みアセンブリプログラムのリアルタイム安全性の演繹的検証 ～ □≦TIME q = □(q∧(time≦TIME)) ～ ○山根 智（金沢大） CAS2017-12 VLD2017-15 SIP2017-36 MSS2017-12 |
組込みシステムでは, 論理的正当性だけではなく, リアルタイム性の検証が重要である. 本論文では, 組込みプログラムのリ... [more] | CAS2017-12 VLD2017-15 SIP2017-36 MSS2017-12 pp.59-64 |
| MSS | 2017-03-16 11:20 |
島根 | 島根大学総合理工学部1号館情報棟1階情報科学講義室 | 組込みアセンブリプログラムのリアルタイム性の検証手法 ～ 組込みプログラムのためのモデル検査と演繹的検証 ～ ○山根 智（金沢大） MSS2016-83 |
組込みシステムでは, 論理的正当性だけではなく, リアルタイム性の検証が重要である. 本論文では, リアルタイム性の検証... [more] | MSS2016-83 pp.11-16 |
| SRW | 2015-10-28 15:45 |
東京 | 機械振興会館 (東京) | ソースルーティング機能による920MHz帯無線ネットワーク高信頼化の検討 ○久保見 慎（京都工繊大）・川本康貴（OKI）・門 勇一（京都工繊大） SRW2015-55 |
経済的な920MHz帯無線ネットワークを制御やセンシングに応用する際に問題となる通信の信頼性を改善するため、ソースルーテ... [more] | SRW2015-55 pp.25-30 |
| SR, SRW (併催) |
2015-10-27 09:30 |
東京 | 構造計画研究所（本所新館） | ［ポスター講演］A study on improving reliability of 920 MHz-band wireless networks using advanced source routing function ○Makoto Kubomi（KIT）・Yasutaka Kawamoto（OKI）・Yuichi kado（KIT） SR2015-52 SRW2015-33 |
経済的な920MHz帯無線ネットワークを制御やセンシングに応用する際に問題となる通信の信頼性を改善するため、ソースルーテ... [more] | SR2015-52 SRW2015-33 pp.25-26 |
| IT | 2011-11-29 14:05 |
岩手 | ホテル森の風 | ［招待講演］情報理論的セキュリティ技術の実用的価値 ○松本 勉（横浜国大） IT2011-35 |
情報理論的セキュリティ技術はセキュリティ面では優れていても実際に利用しようとすると制約が多く，実用的価値は限定されるので... [more] | IT2011-35 pp.1-5 |
| R | 2010-12-17 13:00 |
東京 | 機械振興会館 | 性能低下および運用段階特有の修復シナリオを考慮したソフトウェア性能評価のための統合モデル ○得能貢一・山田 茂（鳥取大） R2010-37 |
本論文では，運用環境を反映したソフトウェアシステムの性能評価のための統合モデルを構築する．ソフトウェアシステムの動的振舞... [more] | R2010-37 pp.1-6 |
| AN | 2009-05-22 10:00 |
東京 | 電気通信大学 | センサアクタネットワークにおける冗長なパケット送信制御による低消費電力トランスポートプロトコル ○和田隆宏・北本勇人・福原毅郎・笹瀬 巌（慶大） AN2009-1 |
本論文では，センサアクタネットワーク(WSANs)において，冗長なパケット送信を低減することにより，Real Time ... [more] | AN2009-1 pp.1-6 |
| USN | 2009-05-22 15:25 |
神奈川 | 慶大（矢上キャンパス） | ユビキタスクラウドの定量的な定式化の試み ○樋口正和・川崎秀二・村上仁己（成蹊大） USN2009-10 |
ユビキタスクラウド（UC）は、社会インフラ規模の情報サービスネットワークであり、実世界からのコンテクスト情報の抽出、ユー... [more] | USN2009-10 pp.55-59 |
| SS | 2007-08-03 10:45 |
北海道 | 北海道大学 | リアルタイム・コンポーネント向けの程良い形式手法 ○中島 震（NII） SS2007-27 |
リアルタイム性を考慮した分散コンポーネントについて、時間特性と論理的な振舞いの関係を設計段階で調べておく必要がある。リア... [more] | SS2007-27 pp.65-70 |
| R | 2006-05-26 13:50 |
徳島 | 徳島大学 | デバッグ回数に基づくリアルタイム性を考慮したソフトウェアの性能解析に関する一考察 ○得能貢一・山田 茂（鳥取大） |
本論文では，ソフトウェアの信頼度成長過程を考慮しながら，処理時間制約が付加された実時間性を導入したシステムの性能評価モデ... [more] | R2006-9 pp.13-18 |
| RCS | 2004-06-17 13:00 |
宮城 | 東北大学 | リアルタイム無線通信における符号化率可変符号を用いたOFDMサブキャリア選択法の検討 ○安部達哉・丸亀 剛・神蔵敦吏・中川正雄（慶大） |
厳密なリアルタイム性を要するハードリアルタイム情報を伝送する方法として, OFDMサブキャリア選択法が提案されている. ... [more] | RCS2004-70 pp.1-6 |
[研究会発表申込システムのトップページに戻る]