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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 4件中 1~4件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
MSS 2015-03-06
10:25
石川 ITビジネスプラザ武蔵 割込み遷移削減手法を導入した組込みアセンブリコード向けSMTベースモデル検査器の開発
小橋潤平竹下 淳山根 智櫻井孝平金沢大MSS2014-100
近年の発展を続けている組込みシステムにおいて, ハードウェアに依存する性質を持つソフトウェアが用いられており, 開発期間... [more] MSS2014-100
pp.53-58
SS, MSS
(共催)
2014-01-31
09:55
愛知 豊田中央研究所 CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査
竹下 淳小橋潤平山根 智金沢大MSS2013-62 SS2013-59
本研究では, 組込みシステム向けアセンブリプログラムのコードブロックを対象とした,SMT有界モデル検査手法による性質検証... [more] MSS2013-62 SS2013-59
pp.65-70
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
 4件中 1~4件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会