| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| ICM | 2024-03-22 15:50 |
沖縄 | 沖縄県立博物館・美術館 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
APIサーバへの過負荷発生時のヘルスチェック継続方式の実装と評価 ○金丸 翔・酒井 優・佐々木幸次・高橋謙輔（NTT）  ICM2023-63 |
APIサーバを運用する際，大量のAPIリクエストが届いた場合にサーバを保護しつつ正常稼働させることが求められる．そのため... [more] | ICM2023-63 pp.95-100 |
| IT | 2023-08-04 14:10 |
神奈川 | 湘南工科大学 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
マルチアクセス通信路に対するLDPC符号化DBICMシステム ○川隅匡登・八嶋弘幸（東京理科大）・柴田 凌（信州大） IT2023-28 |
本研究では，2ユーザマルチアクセス通信路に対して，LDPC (Low-Density Parity-Check) 符号と... [more] | IT2023-28 pp.80-85 |
| CPSY, DC (共催) IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC (共催) (連催) [詳細] |
2020-02-27 16:05 |
鹿児島 | 与論町中央公民館 | NDCKPT: 不揮発性メインメモリを用いたOSによる透過的なプロセスチェックポインティングの実現 ○西田 耀・木村啓二（早大） CPSY2019-102 DC2019-108 |
アプリケーションの耐障害性を向上させる手法の一つにチェックポインティングがある．これまでに，アプリケーションを変更するこ... [more] | CPSY2019-102 DC2019-108 pp.87-92 |
| R | 2019-11-28 15:35 |
大阪 | 中央電気倶楽部 | 非周期チェックポインティングを伴う非マルコフ型アベイラビリティモデルの最適ソフトウェア若化方策に関する考察 ○鄭 俊俊（立命館大）・岡村寛之・土肥 正（広島大） R2019-47 |
本稿では，非周期チェックポインティングを伴う非マルコフ型アベイラビリティモデルの最適ソフトウェア若化方策について考察する... [more] | R2019-47 pp.23-28 |
| NLP, MSS (併催) |
2019-03-15 15:55 |
福井 | 福井大学 文京キャンパス | Simulinkモデルに対するシミュレーションによる重み付き記号的状態遷移系の導出 ○大脇亮太・結縁祥治（名大） MSS2018-95 |
本研究では離散的な振舞いを含むSimulinkモデルの振る舞いを抽象化し記号的 重み付き状態遷移系を導出する手法を提案... [more] |
MSS2018-95 pp.75-80 |
| ICSS | 2018-11-22 10:50 |
鹿児島 | 宝山ホール(鹿児島) | 高密度パリティ検査行列を用いた2元シンドローム復号問題に基づく認証方式について ○伊東春香・廣友雅徳（佐賀大）・福田洋治（近畿大）・毛利公美（岐阜大）・白石善明（神戸大） ICSS2018-62 |
現在用いられている認証方式の大部分は，素因数分解，離散対数問題が効率よく解けてしまえば，全て安全に利用できなくなる．この... [more] | ICSS2018-62 pp.49-54 |
| SS | 2018-03-06 11:30 |
沖縄 | 南大東島 | STAMP/STPA単線列車例題に対する時間オートマトンモデル検査の適用と考察 ○岡野浩三・小形真平・楊 盼（信州大）・岡本圭史（仙台高専） SS2017-64 |
近年情報システムの大規模化複雑化にともない，情報システムの事故原因解明や 事故そのものの事前防止策に注目があつまってい... [more] |
SS2017-64 pp.1-6 |
| R | 2017-05-26 15:30 |
岡山 | ピュアリティまきび | 大学基礎教育を対象とした大規模オンラインテスティングシステムの設計と実装 ○廣瀬英雄（広島工大） R2017-7 |
多様な入学生に対して，大学初年次学生の習熟度の徹底をはかるため，毎授業後に一斉オンラインテストを行い，習熟度に不安がある... [more] | R2017-7 pp.37-42 |
| ET | 2016-11-18 15:45 |
静岡 | プラザ ヴェルデ | GPS,E-メール,クリック操作を用いた半自動出欠管理システム ○加藤健太郎・帯谷主馬・佐藤壮真（鶴岡高専） ET2016-64 |
本研究ではGPS, E-メール, クリック操作を用いた半自動出欠管理システムを提案する．提案システムはクライアントとして... [more] | ET2016-64 pp.53-56 |
| RECONF | 2016-05-19 16:15 |
神奈川 | 富士通研究所 | FPGAスーパーコンピューティングにおけるチェックポインティング・ライブマイグレーション技術の検討 ○高前田伸也・Vu Hoang Gia・Supasit Kajkamhaeng（奈良先端大） RECONF2016-13 |
多数のノードを用いて大規模な計算を長時間行う場合には，故障やソフトエラーが発生することは珍しくない．そこで，計算の途中状... [more] | RECONF2016-13 pp.61-66 |
| CPSY, DC (共催) IPSJ-ARC (連催) [詳細] |
2016-05-10 10:40 |
富山 | 宇奈月 杉乃井ホテル | タイムワープシミュレーションのソフトウェア若化に関する基礎的検討 ○大原 衛（都立産技研センター）・福本 聡（首都大東京） CPSY2016-8 DC2016-8 |
ソフトウェア若化は，除去が困難なバグへの対策として，主として長時間稼働するサーバソフトウェアの用途で用いられてきた．近年... [more] | CPSY2016-8 DC2016-8 pp.59-63 |
| COMP | 2016-04-22 10:20 |
奈良 | 奈良先端科学技術大学院大学 | ハイブリッドP2Pシステムに対するランポート時計を利用したチェックポイント取得とロールバック ○守屋 宣（近畿大） COMP2016-1 |
複数のピアがサーバを利用しながら相互に通信を行うハイブリッドP2Pシステムにおいて，ピアが故障を起こしたときに故障前のチ... [more] | COMP2016-1 pp.1-8 |
| ET | 2016-03-05 10:50 |
香川 | 香川大学（幸町キャンパス） | フィットネス測定スキルの養成を支援するCMSの提案 ○山本貴裕・後藤田 中（香川大）・小林雄志（熊本大）・松浦健二（徳島大）・八重樫理人・林 敏浩（香川大） ET2015-131 |
スポーツ競技者の体力等を複数の側面から科学的に評価するフィットネス測定の習熟において，精度よく測定できるスキル獲得の支援... [more] | ET2015-131 pp.211-214 |
| VLD | 2016-03-01 10:55 |
沖縄 | 沖縄県青年会館 | 検算対策回路に対する電力解析攻撃 ○池崎良哉・吉川雅弥（名城大） VLD2015-122 |
近年，暗号回路に対して，不正に秘密情報を窃取するサイドチャネル攻撃の脅威が顕在化してきた．代表的なサイドチャネル攻撃には... [more] | VLD2015-122 pp.67-72 |
| SS | 2015-03-09 13:50 |
沖縄 | 沖縄県青年会館 | シーケンス図が持つメッセージ順序の曖昧性除去手法の提案 ○楠 野明・岡野浩三・楠本真二（阪大） SS2014-62 |
本稿は，仕様設計の段階で使用されるシーケンス図においてメッセージ順に関する欠陥を検出，および修正する手法を提案する．提案... [more] | SS2014-62 pp.43-48 |
| KBSE | 2015-03-05 14:30 |
東京 | 電通大(調布, 東3号館) | モジュラ化手法によるモデル検査の検討とモジュラ検証の実用化 ○宮島卓巳（茨城大）・小飼 敬（茨城高専）・上田賀一（茨城大）・山形知行・武澤隆之（日立） KBSE2014-56 |
検査対象を機械的かつ網羅的に探索するモデル検査は，探索範囲の指数的増加のため適用が困難である．そこで，検査対象を構造と振... [more] | KBSE2014-56 pp.25-30 |
| MSS | 2015-03-06 10:25 |
石川 | ITビジネスプラザ武蔵 | 割込み遷移削減手法を導入した組込みアセンブリコード向けSMTベースモデル検査器の開発 ○小橋潤平・竹下 淳・山根 智・櫻井孝平（金沢大） MSS2014-100 |
近年の発展を続けている組込みシステムにおいて, ハードウェアに依存する性質を持つソフトウェアが用いられており, 開発期間... [more] | MSS2014-100 pp.53-58 |
| SS | 2014-10-23 15:45 |
高知 | 高知市文化プラザかるぽーと | UPPAALを用いたLEGO Mindstorms EV3制御プログラムの合成 ○荒川 洸・結縁祥治（名大） SS2014-32 |
本研究は，UPPAALを用いて記述した時間オートマトンによる振舞い仕様からLEGO Mindstorm EV3システムを... [more] | SS2014-32 pp.41-46 |
| CPSY | 2014-10-10 10:30 |
千葉 | 幕張メッセ国際会議場303会議室 | 相対チェックポイントを用いた運転者支援の検討 ○土門憲司・吉見真聡・入江英嗣・吉永 努（電通大） CPSY2014-47 |
安価かつ可搬性の高いRGB-Dセンサにより，動作情報を利用したシステムの構築が容易となった．これを運転者の動作解析に利用... [more] | CPSY2014-47 pp.1-6 |
| DC | 2014-06-20 15:35 |
東京 | 機械振興会館 | 部分二重化を用いた微小誤りを許容するオンライン誤り検出可能な浮動小数点乗算器 ○鬼頭信貴（中京大）・秋元一志・高木直史（京大） DC2014-15 |
本稿では数値的に小さな誤りを許容するオンライン誤り検出可能な浮動小数点乗算器を提案する． 提案乗算器では浮動小数点乗算... [more] |
DC2014-15 pp.33-38 |
[研究会発表申込システムのトップページに戻る]