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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 15件中 1~15件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
KBSE 2023-03-17
14:35
広島 JMS アステールプラザ(広島)
(ハイブリッド開催,主:現地開催,副:オンライン開催)
SimulinkとSMTソルバの連携による協調解析支援ツールの開発
エンジリスタ アナック ノルマン上田賀一茨城大KBSE2022-67
協調解析で多様なモデルを対象とするには,演算や型の特性に応じてSMT ソルバを選択できる必要がある.そのため,本研究では... [more] KBSE2022-67
pp.79-84
HWS, VLD
(共催)
2023-03-02
14:40
沖縄 沖縄県青年会館
(ハイブリッド開催,主:現地開催,副:オンライン開催)
[記念講演]SMTソルバを用いたNNA制約を満たす量子回路の合成手法
清野恭平山下 茂立命館大VLD2022-94 HWS2022-65
量子コンピュータ上の計算において、隣接する2つの量子ビットの間のみの量子演算に制限することが一般的である。この制約をNe... [more] VLD2022-94 HWS2022-65
p.112
KBSE 2021-03-06
11:05
ONLINE オンライン開催 試験問題の自動採点が行えるプログラミング言語の検討
田辺良則鶴見大)・萩谷昌己東大KBSE2020-42
多人数が受験する試験でプログラミングの問題を出題する時,
自動採点が行えると便利である.
入力とその正解を多数用意し... [more]
KBSE2020-42
pp.48-53
CPSY, DC
(共催)
IPSJ-ARC
(連催) [詳細]
2020-07-31
17:00
ONLINE オンライン開催 SMTソルバを用いた電力ネットワークにおける障害伝播の解析手法の提案
南出大智土屋達弘阪大CPSY2020-14 DC2020-14
相互依存するシステムとしてモデル化された電力システムの連鎖障害について, 充足可能性判定問題を解 くことで解析する手法を... [more] CPSY2020-14 DC2020-14
pp.87-92
NLP, MSS
(併催)
2019-03-14
12:55
福井 福井大学 文京キャンパス SimulinkモデルのSMT-LIBエンコード方法に関する実験
武仲紘輝石井大輔福井大MSS2018-82
Simulink モデルの網羅テストなどにおいて,汎用プログラムと同様に SMT ソルバーを用いた静的解析が役立つ.そこ... [more] MSS2018-82
pp.7-11
R 2018-10-26
14:25
東京 機械振興会館 確率ペトリネットのパーフェクトサンプリングに関する一考察
岡村寛之森原和也土肥 正広島大R2018-35
本稿では,確率ペトリネットに対するパーフェクトサンプリングについての考察を行う.パーフェクトサンプリングとは厳密に定常状... [more] R2018-35
pp.7-12
SS, DC
(共催)
2017-10-20
09:30
高知 高知市文化プラザかるぽーと SMTを用いた制約付きロケーティングアレイの生成について
金 浩阪大)・崔 銀惠産総研)・土屋達弘阪大SS2017-30 DC2017-29
本研究では,ソフトウェアシステムに対するテスト手法の一例である組み合わせテストについて議論す
る.具体的には,組み合わ... [more]
SS2017-30 DC2017-29
pp.55-60
MSS 2015-03-06
10:25
石川 ITビジネスプラザ武蔵 割込み遷移削減手法を導入した組込みアセンブリコード向けSMTベースモデル検査器の開発
小橋潤平竹下 淳山根 智櫻井孝平金沢大MSS2014-100
近年の発展を続けている組込みシステムにおいて, ハードウェアに依存する性質を持つソフトウェアが用いられており, 開発期間... [more] MSS2014-100
pp.53-58
MSS, SS
(共催)
2015-01-27
12:55
鳥取 ブランナールみささ トレーサビリティに基づくセキュリティ分析の試み
谷津弘一九大)・松並 勝ソニーデジタルネットワークアプリケーションズ)・澤田壽實考作舎)・安藤崇央久住憲嗣九大)・孔 維強大連理工大)・福田 晃九大
現在のシステム開発においては,セキュリティ分析は,ソースコードの静的解析や実行されるバイナリコード上での脆弱性判断等,実... [more]
SS, MSS
(共催)
2014-01-31
09:55
愛知 豊田中央研究所 CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査
竹下 淳小橋潤平山根 智金沢大MSS2013-62 SS2013-59
本研究では, 組込みシステム向けアセンブリプログラムのコードブロックを対象とした,SMT有界モデル検査手法による性質検証... [more] MSS2013-62 SS2013-59
pp.65-70
MSS, SS
(共催)
2013-03-07
11:40
福岡 休暇村志賀島 整数解を導出するための単体法とゴモリーカットの合成について
伏見政晃西田直樹酒井正彦草刈圭一朗坂部俊樹名大MSS2012-78 SS2012-78
与えられた有理数上の線形制約を充足する割り当てを求める手法として単体法がある.また,有理数解を求める手法と,ゴモリーカッ... [more] MSS2012-78 SS2012-78
pp.109-114
DC 2012-12-14
17:00
福井 アオッサ(福井) SMTソルバによる単線自動閉そく装置の検証
寺田夏樹鉄道総研DC2012-79
形式手法によりプログラム仕様の品質を向上させることが期待されている.仕様の検証に関して,定理証明を使用する手法は,厳密な... [more] DC2012-79
pp.31-36
KBSE 2012-11-22
11:25
石川 金沢大学 (角間キャンパス) アセンブリプログラムに対するSMTソルバを使用する有界モデル検査
小橋潤平竹下 淳山根 智金沢大KBSE2012-41
本稿では組込みシステム向けアセンブリ言語プログラムコードのレジスタレベルモデルに対してSMTソルバを用いた有界モデル検査... [more] KBSE2012-41
pp.19-24
SS, MSS
(共催)
2012-01-26
11:15
高知 高知市文化プラザかるぽーと アーキテクチャ点写像による設計・コード間の双方向追跡
鵜林尚靖亀井靖高九大MSS2011-57 SS2011-42
優れたアーキテクチャ設計は高品質なシステムにつながるが,その一方,
「開発者の意図を反映したアーキテクチャを設計するこ... [more]
MSS2011-57 SS2011-42
pp.15-20
SS 2010-10-15
11:00
岩手 岩手県立大学 等式理論を法とするDPLL遷移系について
馬場達也坂部俊樹西田直樹草刈圭一朗酒井正彦名大SS2010-36
SMTソルバは,指定された述語理論の下で論理式の充足可能性判定を行うツールであり,配列,リスト,キューなどの多くの理論を... [more] SS2010-36
pp.49-54
 15件中 1~15件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会