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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 8件中 1~8件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
SDM 2020-01-28
15:45
東京 機械振興会館 [招待講演]Future of Non-Volatile Memory - From Storage to Computing
石丸一成キオクシアSDM2019-87
最初のNANDフラッシュメモリが国際学会で発表されてから30年以上経つ。NANDフラッシュメモリは単位容量辺りのコスト(... [more] SDM2019-87
p.19
COMP, ISEC
(共催)
2016-12-22
15:40
広島 広島大学 東広島キャンパス 法人本部棟4階会議室 等価性構造保持仮定の下での等価性構造抽出における探索数削減
佐藤聖也産総研)・高橋良暢電通大)・山川 宏ドワンゴAIラボISEC2016-87 COMP2016-48
$K$個の系列IDからなる$K$-タプルにより指定される$K$次元系列を考える.$N$個ある系列IDから取り得る$K$-... [more] ISEC2016-87 COMP2016-48
pp.81-86
KBSE 2015-03-05
14:30
東京 電通大(調布, 東3号館) モジュラ化手法によるモデル検査の検討とモジュラ検証の実用化
宮島卓巳茨城大)・小飼 敬茨城高専)・上田賀一茨城大)・山形知行武澤隆之日立KBSE2014-56
検査対象を機械的かつ網羅的に探索するモデル検査は,探索範囲の指数的増加のため適用が困難である.そこで,検査対象を構造と振... [more] KBSE2014-56
pp.25-30
SSS 2013-12-19
15:00
東京 明治大学 紫紺館3階 エネルギーの安全問題における火災と爆発 ~ システム安全の考え方 ~
門脇 敏長岡技科大SSS2013-31
我々が利用するエネルギーの約9割は,化石燃料の燃焼により賄われており,エネルギーと燃焼との関連性は非常に強いものである.... [more] SSS2013-31
pp.13-16
CPSY, DC
(併催)
2010-08-03
- 2010-08-05
石川 金沢市文化ホール LMNtalモデル検査器における状態爆発対策
後町将人上田和紀早大DC2010-17
システム検証技術として注目を集めるモデル検査は, 必要なメモリと時間が爆発的に増加(状態爆発)する問題を抱えており, 大... [more] DC2010-17
pp.19-24
DE 2008-12-01 東京 学習院 創立百周年記念会館 [ポスター講演]アクセス履歴に基づくファイル間関連度を用いたデスクトップ情報管理ツールの開発
小田切健一渡辺陽介横田治夫東工大DE2008-72
近年,ネットワークを介した情報交換が盛んに行われるようになり,個人がPC内に蓄積しなければならないファイルの数と種類は膨... [more] DE2008-72
p.49
MSS 2008-06-02
13:00
愛知 名古屋大学野依記念学術交流館 [招待講演]離散状態の流体化
平石邦彦北陸先端大CST2008-2
状態空間爆発は離散状態をもつ大規模システムの検証において大きな障害となる.同一の規則に従って動作する多数のプロセスを流体... [more] CST2008-2
pp.7-12
LOIS, IPSJ-CN
(共催)
2007-06-01
14:10
大阪 大阪産業創造館 FACE技術と認証サービスの提案
斉藤典明山崎哲朗知加良 盛小林 透金井 敦NTT
様々な社会サービスがネットワーク上で利用可能となると同時にID盗難などの脅威も増加している。そのため、非常に多くのIDを... [more] OIS2007-8
pp.43-48
 8件中 1~8件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会