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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 49件中 1~20件目  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
SS 2024-03-07
13:30
沖縄 石垣市健康福祉センター(沖縄)
(ハイブリッド開催,主:現地開催,副:オンライン開催)
Nested Timed Automataに対するZoneに基づく到達可能性解析
城 聖一郎名大)・小川瑞史北陸先端大)・結縁祥治名大SS2023-53
本稿では時間オートマトンをスタックアルファベットとするプッシュダウンオートマトンであるNested Timed Auto... [more] SS2023-53
pp.25-30
SS, KBSE
(共催)
IPSJ-SE
(連催) [詳細]
2022-07-29
13:00
北海道 北海道自治労会館(札幌)
(ハイブリッド開催,主:現地開催,副:オンライン開催)
充足可能性判定を利用した実現可能な時間オートマトンの検証
城 聖一郎結縁祥治名大SS2022-9 KBSE2022-19
クロックのずれやサンプリングを考慮した実現可能な時間オートマトンの到達可能性検証の手法として,SMTソルバを用いた有界検... [more] SS2022-9 KBSE2022-19
pp.49-54
NS, SR, RCS, SeMI, RCC
(併催)
2022-07-15
13:40
石川 金沢歌劇座 + オンライン開催
(ハイブリッド開催,主:現地開催,副:オンライン開催)
転送待機時間に基づくOpportunistic Routingにおけるリンク対称性確認手法の性能解析
山崎拓真芝浦工大)・細沼恵里東大)・山崎 託三好 匠シルバーストン トーマス芝浦工大NS2022-57
転送待機時間に基づき中継端末を動的に選択するOpportunistic routing(OR)では,パケットを受信した各... [more] NS2022-57
pp.147-150
NS, ICM, CQ, NV
(併催)
2020-11-26
09:30
ONLINE オンライン開催 距離制約付き迂回可能性を含む経路の到達可能性に関する検討
大谷珠有原 崇徳笹部昌弘笠原正治奈良先端大CQ2020-49
ネットワーク上のリンクやノードに障害が発生すると,正常にネットワークが利用できなくなる場合がある.これまでに2点間の到達... [more] CQ2020-49
pp.10-15
VLD, DC, RECONF, ICD, IPSJ-SLDM
(連催)
(併催) [詳細]
2020-11-17
09:55
ONLINE オンライン開催 Efficient computation of inductive invariant through flipflop selection
Fudong WangMasahiro FujitaU-TokyoVLD2020-20 ICD2020-40 DC2020-40 RECONF2020-39
 [more] VLD2020-20 ICD2020-40 DC2020-40 RECONF2020-39
pp.54-59
NLP, MSS
(併催)
2019-03-14
13:45
福井 福井大学 文京キャンパス Duraczらの操作的意味論に基づくハイブリッドシステムの高信頼シミュレータの実装
小嶋翔太石井大輔福井大MSS2018-84
ハイブリッドシステムの解析において, 状態の保守的近似に基づく高信頼な数値シミュレーションが役立つ.
しかし, 既存の... [more]
MSS2018-84
pp.19-22
MSS, CAS
(共催)
IPSJ-AL
(連催) [詳細]
2018-11-12
16:15
静岡 熱海伊豆山温泉 ハートピア熱海 一般ペトリネットにおける可達グラフ生成プロセスのメモリ効率化手法
藤森浩平張江洋次朗和崎克己信州大CAS2018-65 MSS2018-41
本学で開発されたペトリネット設計ツールHiPS (Hierarchical Petri net Simulator) の... [more] CAS2018-65 MSS2018-41
pp.43-47
SS 2018-03-06
12:00
沖縄 南大東島 凍結クロックを持つ稠密時間プッシュダウンオートマトンの到達可能性のための記号ゾーン解析手法について
結縁祥治平岡 祥名大SS2017-65
本研究では、稠密時間クロックをスタック上にプッシュすることのできる計算モ
デルであるDTPDAに対してスタック上でク... [more]
SS2017-65
pp.7-12
ISEC, COMP
(共催)
2017-12-21
11:25
高知 高知工科大学永国寺キャンパス グリッドグラフにおける到達可能性判定問題のO(n^{1/3})領域アルゴリズム
芦田 亮中川航太郎東工大ISEC2017-75 COMP2017-29
有向グラフの到達可能性判定問題はNL完全問題として有名である.この問題を多項式時間で解くアルゴリズムとして,Barns等... [more] ISEC2017-75 COMP2017-29
pp.19-24
QIT
(第二種研究会)
2017-11-17
10:00
埼玉 埼玉大学 散逸下における量子状態制御の限界
小林幸平山本直樹慶大
量子情報技術の実現において,所望の量子状態を生成する制御は必要不可欠である.しかし量子系に散逸が発生している場合, 状態... [more]
OCS, CS
(併催)
2017-01-20
10:45
福岡 九州産業大学 光パス到達性を向上させるSimplified Optical Cross Connect の帯域狭窄特性改善
谷田部 漠松山友理恵竹下仁士藤澤慎介中田武志田島章雄小熊健史NECOCS2016-68
光通信システムの容量拡大と柔軟性向上を可能とするエラスティック光ネットワークでは,光ノードに内蔵される光バンドパスフィル... [more] OCS2016-68
pp.21-25
QIT
(第二種研究会)
2016-11-24
13:00
茨城 高エネルギー加速器研究機構 小林ホール [ポスター講演]散逸下における量子状態制御の限界
小林幸平山本直樹慶大
量子情報技術の実現において,所望の量子状態を生成する制御は必要不可欠である.しかし量子系に散逸が発生している場合, 量子... [more]
OCS, NS, PN
(併催)
2016-06-23
11:40
北海道 北海道大学 光パス到達性を向上させるSimplified Optical Cross Connect Architectureの提案と基礎特性評価
竹下仁士松山友理恵小熊健史藤澤慎介田島章雄NECOCS2016-12
エラスティック光通信ネットワークでは、光スペクトル利用効率が高くなる一方で、光パス到達性が低下することが問題である。光ノ... [more] OCS2016-12
pp.17-22
ET 2016-03-05
16:15
香川 香川大学(幸町キャンパス) 初学者向けネットワーク構築演習におけるプログラム解析技術に基づく設定誤り検出法の提案
立岩佑一郎高橋直久名工大ET2015-106
本稿では,初学者向けネットワーク構築演習で,学習者の構築したネットワーク(答案と呼ぶ)において,通信の到達性に関する設定... [more] ET2015-106
pp.71-76
VLD, DC, IPSJ-SLDM
(連催)
ICD, CPM
(共催)
CPSY, RECONF
(併催) [詳細]
2015-12-02
11:15
長崎 長崎県勤労福祉会館 到達不可能な解空間における効果的なSimulated Annealing法探索に関する研究
中野太維藤吉邦洋東京農工大VLD2015-45 DC2015-41
Simulated Annealing法は隣接解生成法により定まる解空間の中で,良い解を確率的に探索する.通常の隣接解生... [more] VLD2015-45 DC2015-41
pp.45-50
MSS, SS
(共催)
2015-01-26
17:20
鳥取 ブランナールみささ A Consideration on How to Model Check Distributed Snapshot Reachability Property
Wenjie ZhangKazuhiro OgataJAIST)・Min ZhangECNUMSS2014-77 SS2014-41
 [more] MSS2014-77 SS2014-41
pp.49-54
COMP 2014-10-08
14:45
東京 中央大学 Reconfiguration of List Colorings in a Graph
Tatsuhiko HatanakaTakehiro ItoXiao ZhouTohoku Univ.COMP2014-29
グラフの各点には,その点に割り当てることができる色のリストが与えられているとする.本稿では,1つのリスト点彩色から同じグ... [more] COMP2014-29
pp.19-24
CS, NS, IN
(併催)
2014-09-11
10:50
宮城 東北大学 電気通信研究所 2号館 標的問題に基づいた通信到達性の向上と端末の省電力化を目指した無線通信半径設定法
濱本 亮高野知佐広島市大)・会田雅樹首都大東京)・石田賢治広島市大NS2014-82
近年,アクセスポイントなどの通信インフラを利用せずに通信端末の相互接続によってネットワークを構築できるアドホックネットワ... [more] NS2014-82
pp.13-18
COMP 2013-04-24
10:00
兵庫 神戸大学 枝刈り探索のパスへの拡張による到達可能性クエリ
矢野洋祐秋葉拓哉岩田陽一東大COMP2013-1
グラフの到達可能性は理論と応用の両方において基礎となる問題であるが,大規模なグラフ上で大量の到達可能性クエリに答えるのは... [more] COMP2013-1
pp.1-8
MSS 2013-01-22
14:25
大阪 大阪国際会議場 健全な拡張自由選択ワークフローネットの可達性の多項式時間判定について
加納大暉山口真悟山口大MSS2012-48
ワークフローには定義とインスタンスという二つの側面がある.
本稿では,可達性を利用して,ワークフローインスタンスの正し... [more]
MSS2012-48
pp.17-21
 49件中 1~20件目  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会