| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| RECONF, VLD (共催) |
2024-01-30 13:45 |
神奈川 | 新川崎 創造のもり AIRBIC 会議室1～4 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
汎用高位合成系を用いたバイナリ合成における外部メモリアクセスの実装 ○岸本 匠・石浦菜岐佐（関西学院大）  VLD2023-95 RECONF2023-98 |
本稿では, 汎用高位合成系を用いたバイナリ合成における外部メモリアクセスの実装を提案する. バイナリ合成は機械語プログラ... [more] | VLD2023-95 RECONF2023-98 pp.87-92 |
| IPSJ-SLDM, IPSJ-ARC (共催) RECONF, VLD, CPSY (共催) (連催) [詳細] |
2020-01-23 11:50 |
神奈川 | 慶応義塾大学 日吉キャンパス 来往舎 | RISC-V機械語プログラムからのバイナリ合成 ○浜名将輝・石浦菜岐佐（関西学院大） VLD2019-71 CPSY2019-69 RECONF2019-61 |
本稿では, RISC-V 機械語プログラムからハードウェアを自動合成する手法を提案する. RISC-V を用いた CPU... [more] | VLD2019-71 CPSY2019-69 RECONF2019-61 pp.111-115 |
| 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 |
| VLD | 2016-02-29 15:00 |
沖縄 | 沖縄県青年会館 | Erlangによる組込みシステムの制御記述からの高位合成 ○竹林 陽・石浦菜岐佐・東 香実（関西学院大）・吉田信明・神原弘之（京都高度技研） VLD2015-114 |
本稿では, Erlang のサブセットにより組込みシステムの制御を記述し, そこからハードウェアを自動合成する手法を提案... [more] | VLD2015-114 pp.19-24 |
| MSS, CAS, SIP, VLD (共催) |
2015-06-18 10:10 |
北海道 | 小樽商科大学 | 記号実行による組込みアセンブリプログラムのソフトウェアモデル検査 公下亮佑・○山根 智（金沢大） CAS2015-15 VLD2015-22 SIP2015-46 MSS2015-15 |
組込みシステムのソフトウェアモデル検査器を開発した． この検証器は，アセンブリプログラムから，モデルを記号実行を用いて... [more] |
CAS2015-15 VLD2015-22 SIP2015-46 MSS2015-15 pp.77-81 |
| MSS | 2015-03-06 13:55 |
石川 | ITビジネスプラザ武蔵 | 組込みアセンブリプログラムからのモデル抽出による記号モデル検査 ○加藤友紀・公下亮佑・櫻井孝平・山根 智（金沢大） MSS2014-102 |
組込みシステムは，広く利用されており，徐々に複雑化している．複雑化している組込みシステムを安全に運用するためには，システ... [more] | MSS2014-102 pp.65-70 |
| SS, MSS (共催) |
2014-01-31 09:55 |
愛知 | 豊田中央研究所 | CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査 ○竹下 淳・小橋潤平・山根 智（金沢大） MSS2013-62 SS2013-59 |
本研究では, 組込みシステム向けアセンブリプログラムのコードブロックを対象とした,SMT有界モデル検査手法による性質検証... [more] | MSS2013-62 SS2013-59 pp.65-70 |
| SS, IPSJ-SE (連催) |
2013-10-24 10:30 |
石川 | ITビジネスプラザ武蔵（金沢市内） | 組込みCISCアセンブリプログラムの記号モデル検査 ○渡邊健太・チャン ヘジン・櫻井孝平・山根 智（金沢大） SS2013-36 |
組込みシステムは年々大規模化・複雑化が進み，安全性・信頼性の検証はますます困難となっている． そのため，プログラムを漏... [more] |
SS2013-36 pp.1-5 |
| SS, IPSJ-SE (連催) |
2013-10-24 10:50 |
石川 | ITビジネスプラザ武蔵（金沢市内） | 組込みCISCマイコンのアセンブリプログラムに対する振舞い抽出器の開発とモデル検査への適用 ～ シミュレーションによるモデルの自動生成 ～ ○公下亮佑・山根 智・櫻井孝平（金沢大） SS2013-37 |
我々は，組込みシステムに対してモデル検査することを目的とする．そこで，本論文では，モデルを自動的に構築する，振舞い抽出器... [more] | SS2013-37 pp.7-12 |
| KBSE | 2012-11-22 11:25 |
石川 | 金沢大学 (角間キャンパス) | アセンブリプログラムに対するSMTソルバを使用する有界モデル検査 ○小橋潤平・竹下 淳・山根 智（金沢大） KBSE2012-41 |
本稿では組込みシステム向けアセンブリ言語プログラムコードのレジスタレベルモデルに対してSMTソルバを用いた有界モデル検査... [more] | KBSE2012-41 pp.19-24 |
| VLD, CAS, MSS, SIP (共催) |
2012-07-02 13:00 |
京都 | 京都リサーチパーク | 組込みソフトウェアのアセンブラのSMT検証 ○竹下 淳・小橋潤平・山根 智（金沢大） CAS2012-7 VLD2012-17 SIP2012-39 MSS2012-7 |
本稿では，組込みアセンブリプログラムを対象としたSMT 有界モデル検査手法を以下のように提案する． (1) 検証の前処... [more] |
CAS2012-7 VLD2012-17 SIP2012-39 MSS2012-7 pp.37-42 |
[研究会発表申込システムのトップページに戻る]