一般講演プログラム
B分野 ソフトウェア
選奨セッション
システム検証とLSI・アーキテクチャの設計(C分野と共催)
9月4日(水) 9:30-12:00 1b会場
座長 伊原 彰紀(和歌山大学)
栗原 康志(富士通株式会社)
CB-001 標準技術FMI/SSPを活用したシステムシミュレーション手法の提案
磯田 誠・大森 康宏(三菱電機)
CB-002 自然言語処理モデルを利用したソフトウェア検証分野における反例予測
大野 亮祐・張江 洋次朗(金沢学院大学)
CC-001 LSIの可検査性とグラフ構造における中心性の関係に関する考察
杉山 咲・山口 賢一・岩田 大志(奈良工業高等専門学校)
CC-002 時間制約検証可能なアーキテクチャベース自己適応ソフトウェアプログラミングフレームワーク
内藤 惇(大阪大学)・中川 博之(岡山大学)・土屋 達弘(大阪大学)
ソフトウェア品質
9月4日(水) 15:30-17:30 3b会場
座長 伊原 彰紀(和歌山大学)
B-001 複雑なモデルに対応した形式的ソフトウェア合成システムの提案
田中 涼介・織田 健(電気通信大学)
B-002 LLMを利用した深層強化学習エージェントによるウェブアプリのバグの発見
酒井 佑旗・田原 康之・大須賀 昭彦・清 雄一(電気通信大学)
B-003 テキスト構造に着目した細分化モデルの可読性評価指標
結城 翔・織田 健(電気通信大学)
B-004 複数プロジェクトを利用したソフトウェア信頼度成長モデル構築のためのウェブアプリケーション
本田 澄・松田 望(大阪工業大学)・鷲崎 弘宜・深澤 良彰(早稲田大学)
知能ソフトウェア工学と並列処理
9月5日(木) 9:30-12:00 4b会場
座長 北村 崇師(産業技術総合研究所)
B-005 ドメイン知識強化型混合エキスパートモデルによるフェイクニュース検出手法の提案
李 姣霖・児玉 英一郎・王 家宏・Bhed Bahadur Bista・高田 豊雄(岩手県立大学)
B-006 ドメイン駆動設計を用いたリファクタリングにおけるレイヤードアーキテクチャの拡張と準形式的表現
上原 宗大・和﨑 克己(信州大学)
B-007 ドメイン駆動設計における制約条件記述を含むドメインモデルの生成AI援用リファインメント
水野 駆・和﨑 克己(信州大学)
B-008 未指定機能へのテストケース自動生成によるソフトウェア開発の強化
KIM HONGJUN・島川 博光(立命館大学)
B-009 Establishment and Maintenance of Knowledge Base Utilizing Industrial Internet of Things (IIoT)
Guo Dashuai・Wang Joseph K.H.(Volapu Research)
B-010 Ada LovelaceアーキテクチャのマルチGPUクラスタシステムによる4K解像度位相型実時間電子ホログラフィ
土居 明可・三谷 永久・和田 翔夢・髙田 直樹(高知大学)
B-011 粒子法陽解法におけるデータレイアウトを考慮したCUDA実装
富岡 我空・吉田 明正(明治大学)
高性能計算とOS
9月5日(木) 15:30-17:30 5b会場
座長 SUPPAKITPAISARN Vorapong(東京大学)
B-012 マイクロサービス向けデータ整合性維持に関わるテスト支援フレームワークの提案と初期評価
大越 淳平(日立製作所)
B-013 余裕時間によって動作を切り替えるEDZLに基づいたアルゴリズムの提案と可能性解析
上向 翔太・兪 明連・中村 徹(東京都市大学)
B-014 ステートフルアプリケーションのKubernetesクラスタ間マイグレーション方式の設計
土谷 彰義・出口 彰・柴山 司(日立製作所)
B-015 ディスアグリゲーテッドコンピュータにおける高効率なデータ処理に向けたマッピング手法
榎原 成則・右近 祐太・有川 勇輝・山崎 晃嗣(日本電信電話)
B-016 量子計算機実機を用いた数値解析
泉 優行・川原 仁志・鈴木 優之(伊藤忠テクノソリューションズ)

情報処理学会に入会する電子情報通信学会に入会する

All Rights Reserved. Copyright (C) 2024 by The Institute of Electronics, Information and Communication Engineers
and Information Processing Society of Japan