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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 54件中 21~40件目 [前ページ]  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
MSS 2015-03-06
13:30
石川 ITビジネスプラザ武蔵 大規模グラフのノード分割と逐次集約による並列分散クラスタリングアルゴリズム
浅山 陸櫻井孝平山根 智金沢大MSS2014-101
大規模なグラフ構造データに対して,ノード分割による分散配置とノードの逐次集約の並列処理による高速なクラスタリングアルゴリ... [more] MSS2014-101
pp.59-64
MSS 2015-03-06
13:55
石川 ITビジネスプラザ武蔵 組込みアセンブリプログラムからのモデル抽出による記号モデル検査
加藤友紀公下亮佑櫻井孝平山根 智金沢大MSS2014-102
組込みシステムは,広く利用されており,徐々に複雑化している.複雑化している組込みシステムを安全に運用するためには,システ... [more] MSS2014-102
pp.65-70
CAS, SIP, MSS, VLD, SIS
(共催) [詳細]
2014-07-10
15:40
北海道 北海道大学 [パネル討論]イノベーションを生むための研究会マネジメント
平石邦彦北陸先端大)・山路隆文東芝)・中武繁寿北九州市大)・梶川嘉延関西大)・山根 智金沢大CAS2014-32 VLD2014-41 SIP2014-53 MSS2014-32 SIS2014-32
システムと信号処理サブソサイエティ4研専は,平成22年から合同研究会を開催している.合同研究会の意味をより深めるために,... [more] CAS2014-32 VLD2014-41 SIP2014-53 MSS2014-32 SIS2014-32
p.169
SS, MSS
(共催)
2014-01-31
09:30
愛知 豊田中央研究所 アクターモデルに基づいたストリームデータに対する分散オンライン決定木学習手法の提案
山本幸一櫻井孝平山根 智金沢大MSS2013-61 SS2013-58
ストリームデータに対する決定木構築において従来の決定木学習アルゴリズムは大規模データコンピューティングに向けた設計ではな... [more] MSS2013-61 SS2013-58
pp.59-64
SS, MSS
(共催)
2014-01-31
09:55
愛知 豊田中央研究所 CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査
竹下 淳小橋潤平山根 智金沢大MSS2013-62 SS2013-59
本研究では, 組込みシステム向けアセンブリプログラムのコードブロックを対象とした,SMT有界モデル検査手法による性質検証... [more] MSS2013-62 SS2013-59
pp.65-70
MSS, CAS
(共催)
IPSJ-AL
(連催) [詳細]
2013-11-06
14:00
岩手 渡り温泉さつき 動的組込みシステムの仕様記述言語の開発
山根 智酒井 誠金沢大CAS2013-58 MSS2013-37
組込みシステムは外部からの信号を入力して, 多数のタスクが通信しながら
並行動作して, 計算を進める.
組込みシス... [more]
CAS2013-58 MSS2013-37
pp.23-28
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
SIP, CAS, MSS, VLD
(共催)
2013-07-11
16:10
熊本 熊本大学 [パネル討論]システムと信号処理サブソサイエティにおける将来展望 ~ 期待される人材を育成するための方策 ~
牧野光則中大)・中野敬介新潟大)・池田 誠東大)・澤田 宏NTT)・中村祐一NEC)・山根 智金沢大CAS2013-13 VLD2013-23 SIP2013-43 MSS2013-13
システムと信号処理サブソサイエティを構成する4研専は,平成22年から合同研究会を年1回開催している.この合同研究会の意味... [more] CAS2013-13 VLD2013-23 SIP2013-43 MSS2013-13
p.69
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
AP, ITE-BCT
(連催)
2012-02-09
14:30
広島 NHK広島 放送用電子透かし装置の開発
麻生慎太郎山根智文成田長人高砂幸代NHK)・菅井豊和三菱電機)・横山幸雄三菱電機インフォメーションシステムズ
本稿では,放送局の番組制作や番組送出のVTRテープからファイルベース化運用への移行に伴い,ファイルベース化に適した新たな... [more]
COMP 2011-04-22
15:15
京都 京都大学 線形不等式を対象とした一階述語論理の限定記号消去の計算
小野祐貴山根 智金沢大COMP2011-8
本論文では、実数上の線形不等式を対象とした一階述語論理の限定記号消去の計算のアル
ゴリズムについて述べる。
本アルゴ... [more]
COMP2011-8
pp.55-59
MSS 2010-08-02
14:00
石川 金沢学院大 サテライト教室 動的再構成可能プロセッサの離散シミュレータの開発
沈 忱中居佑輝山根 智金沢大CST2010-32
 [more] CST2010-32
pp.1-6
KBSE, SS
(共催)
2010-05-28
13:45
京都 同志社大今出川キャンパス 動的リアルタイムCEGAR
酒井 誠田中祐史山根 智金沢大SS2010-12 KBSE2010-12
本研究では,動的に構成が変化するリアルタイムシステムに対して有効なモデル検査手法の提案を行う.
提案手法では,到達可能... [more]
SS2010-12 KBSE2010-12
pp.69-74
KBSE, SS
(共催)
2010-05-28
14:25
京都 同志社大今出川キャンパス 空間の概念を持つコスト付き確率時間オートマトンの記号的検証手法
畠中克也鎌澤浩司山根 智金沢大SS2010-13 KBSE2010-13
近年,無線センサネットワークがさまざまな分野において注目を集めている.また,組込みシステムの高機能化に伴い,それらのシス... [more] SS2010-13 KBSE2010-13
pp.75-79
KBSE, SS
(共催)
2010-05-28
15:20
京都 同志社大今出川キャンパス 確率時間REGARの実装と評価
清水隆也高橋正樹山根 智金沢大SS2010-14 KBSE2010-14
確率時間REGAR(Probabilistic Timed Real-Example Guided Abstractio... [more] SS2010-14 KBSE2010-14
pp.81-86
MSS, CAS
(共催)
2009-11-27
09:30
愛知 名古屋大学 確率ゲーム理論による組込みシステムのモデル化とモデル検査
越田彰太山根 智金沢大CAS2009-51 CST2009-24
 [more] CAS2009-51 CST2009-24
pp.35-40
MSS, CAS
(共催)
2009-11-27
09:55
愛知 名古屋大学 確率時間REGARによるPTCTLのサブクラスのモデル検査
高橋正樹森下 篤山根 智金沢大CAS2009-52 CST2009-25
 [more] CAS2009-52 CST2009-25
pp.41-46
MSS 2009-06-03
14:00
大阪 摂南大学大阪センター 空間の概念を持つコスト付き確率時間オートマトンの提案とセンサーネットワークへの適用
鎌澤浩司山根 智金沢大CST2009-2
近年, 無線センサネットワークがさまざまな分野において注目を集めている. しかし, 無線センサネットワークには送信範囲や... [more] CST2009-2
pp.7-12
 54件中 21~40件目 [前ページ]  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会