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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 18件中 1~18件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
NLP, MSS
(併催)
2021-03-16
10:05
ONLINE オンライン開催 制約最適化を用いた自律分散型AGVシステムのデッドロックフリーな経路計画法
並木雄一宮本俊幸阪大MSS2020-51
本論文では生産システムにおける無人搬送車(AGV)の自律分散経路計画を対象とする.対象とする問題は先行制約がある時間窓付... [more] MSS2020-51
pp.37-42
ITS, IEE-ITS
(連催)
2021-03-15
15:05
ONLINE オンライン開催 モデル検査を用いたラウンドアバウトにおける交通量制御方式の検証
土屋達弘阪大)・大塚敏史日立ITS2020-43
本研究では,形式検証手法であるモデル検査を用いて,ラウンドアバウト型の交差点における車両の交通を制御する方法の検証を行っ... [more] ITS2020-43
pp.41-44
CPSY, DC
(共催)
IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC
(共催)
(連催) [詳細]
2020-02-27
14:50
鹿児島 与論町中央公民館 バイパシングによる低遅延メモリパケットネットワーク
四釜快弥河野隆太Akram Ben Ahmed松谷宏紀慶大)・鯉渕道紘NII)・天野英晴慶大CPSY2019-93 DC2019-99
Hybrid Memory Cube (HMC) はTSV を使用した3 次元積層メモリであり,メモリアクセスのバンド幅... [more] CPSY2019-93 DC2019-99
pp.7-12
VLD, DC, IPSJ-SLDM, IPSJ-EMB
(連催)
CPSY, IPSJ-ARC
(連催)
CPM, ICD, IE
(共催)
RECONF
(併催) [詳細]
2018-12-07
09:00
広島 サテライトキャンパスひろしま 高スループットな相互結合網のためのスケーラブルな複数経路選択手法
河野隆太安戸僚汰松谷宏紀慶大)・鯉渕道紘NII)・天野英晴慶大CPSY2018-38
ビッグデータ処理などを目的とするデータセンタは大規模化の一途を辿っている。このような大規模データセンタにおけ... [more] CPSY2018-38
pp.11-16
VLD, DC, IPSJ-SLDM, IPSJ-EMB
(連催)
CPSY, IPSJ-ARC
(連催)
CPM, ICD, IE
(共催)
RECONF
(併催) [詳細]
2017-11-08
09:00
熊本 くまもと県民交流館パレア ターンモデルベースの不規則網向けルーティング
河野隆太安戸僚汰松谷宏紀慶大)・鯉渕道紘NII)・天野英晴慶大CPSY2017-44
チップ内マルチコアシステムからスパコンシステムに至る様々な高性能計算システムにおいて, 計算ノードの数は増加の一途をたど... [more] CPSY2017-44
pp.23-28
SS, KBSE
(共催)
IPSJ-SE
(連催) [詳細]
2017-07-19
10:45
北海道 函館コミュニティプラザ 端末交通システムにおける運行スケジュールのモデル検査法を用いたデッドロック検出手法
辻 光顕長谷部浩二加藤和彦筑波大SS2017-2 KBSE2017-2
著者らは車両の自律動作により隊列走行可能な端末交通システムの研究開発を行っている.このシステムの特長は,隊列を再編成する... [more] SS2017-2 KBSE2017-2
pp.7-12
MSS 2014-03-07
13:50
愛媛 愛媛大学工学部 多種が混流する生産システムの自律的デッドロック回避における相互干渉の解消
西田幸仁高橋宏治東工大MSS2013-92
フレキシブル生産システムでは,装置資源を共有しながら,異なる工程順序を持つ多数のワークが混流している。そのため,デッドロ... [more] MSS2013-92
pp.95-100
KBSE 2013-03-14
15:30
東京 芝浦工業大学 モデル検査を使ったデッドロック可能性検出
猿渡卓也塚本英昭神谷慎吾宮田俊介NTTKBSE2012-76
形式手法の適用によるITシステムの信頼性向上が期待されている.しかし,形式手法の適用にはモデル作成等の専門的な知識が必要... [more] KBSE2012-76
pp.43-48
VLD, DC, IPSJ-SLDM
(連催)
ICD, CPM
(共催)
CPSY, RECONF
(併催) [詳細]
2012-11-27
09:25
福岡 九州大学百年講堂 ネットワークオンチップにおける仮想チャネル利用法の再考
笹河良介藤枝直輝高前田(山崎) 伸也吉瀬謙二東工大CPSY2012-51
Network on Chip でのルーティングにおいて,デッドロックフリーであることは重要であり,仮想チャネルをクラス... [more] CPSY2012-51
pp.21-26
SS, IPSJ-SE
(連催)
2012-11-01
13:40
広島 広島市立大学、講堂 小ホール 並行システム記述におけるフォールトパターンに関する考察
張 漢明野呂昌満沢田篤史吉田 敦蜂巣吉成横森励士南山大SS2012-40
モデル検査では,デッドロックや仕様が満たされないことを検出した場合,反例が提示されるが,その原因となるフォールトの特定は... [more] SS2012-40
pp.41-46
SS 2011-10-28
10:30
石川 北陸先端科学技術大学院大学 パターンに基づくCSP記述の検査に関する考察
張 漢明野呂昌満沢田篤史吉田 敦蜂巣吉成横森励士南山大SS2011-35
モデル検査では,デッドロックや仕様が満たされないことを検出した場合,反例が提示されるが,その原因となるフォールトを特定す... [more] SS2011-35
pp.49-54
SS 2010-03-08
14:10
鹿児島 鹿児島大学 郡元キャンパス 計算資源へのアクセス能力に基づく競合検査とデッドロック検査のための型解析
坂野吉隆結縁祥治名大SS2009-70
本稿では,共有メモリ型の並行プログラミング言語に対して,競合とデッドロックの検査を行うための静的解析を提案する.寺内らに... [more] SS2009-70
pp.133-138
VLD, CPSY, RECONF
(共催)
IPSJ-SLDM
(連催) [詳細]
2010-01-26
14:30
神奈川 慶應義塾大学日吉キャンパス 1-flitパケット構造を利用した非最短完全適応ルーティング
西川由理慶大)・鯉渕道紘NII)・松谷宏紀東大)・天野英晴慶大VLD2009-78 CPSY2009-60 RECONF2009-63
本稿では、チップ内ネットワーク向けに仮想チャネルを使わない非
最短型完全適応ルーティングを提案する.パケット間のデッド... [more]
VLD2009-78 CPSY2009-60 RECONF2009-63
pp.53-58
CAS, MSS
(共催)
2008-11-06
11:00
大阪 大阪大学 [招待講演]OSにおけるプロセススケジューリング手法のマルチカーエレベータにおけるシャフト内運行制御問題への応用
鈴木裕通フジテックCAS2008-48 CST2008-26
マルチカーエレベータ(Multi-Car Elevators,以下MCE)を運行制御するには
複数のかごが昇降路空間で... [more]
CAS2008-48 CST2008-26
pp.17-24
CPSY 2007-12-19
13:30
京都 キャンパスプラザ京都 チップ内ネットワーク向け軽量な耐故障機構
鯉渕道紘NII/総研大)・松谷宏紀天野英晴慶大)・Timothy Mark Pinkston南カリフォルニア大CPSY2007-42
耐故障性は最近の複雑なチップマルチプロセッサにおけるチップ内ネットワークの設計において極めて重要な課題となっている.本稿... [more] CPSY2007-42
pp.9-14
MSS 2005-07-01
10:25
沖縄 自治会館(那覇) CORBAのコールバック問題のためのペトリネットの構造と解析について
高山陽介ユニアデックス)・○太田 淳辻 孝吉愛知県立大
ペトリネットはコンカレントシステムの有効なモデルの一つである。その応用として、著者らは、分散オブジェクト処理をペトリネッ... [more] CST2005-7
pp.7-12
NLP 2005-03-25
13:25
東京 東京大学(本郷,山上会館) マルチホップセンサーネットワークのタイミング同期(2) ~ 複数セルの同期における空間パターンの形成 ~
田中久陽毎野裕亮太田大輔電通大)・長谷川晃朗デイビス ピーターATR
本論文は大規模なマルチホップセンサネットにおいて,複数のセルが空間分布する状況での MAC レイヤにおけるタイミング同期... [more] NLP2004-116
pp.7-10
MSS 2004-08-05
14:50
北海道 北海学園大学 ペトリネットを用いたCORBAにおけるコールバック問題の解析
高山陽介太田 淳辻 孝吉愛知県立大
分散オブジェクトシステムにおいて発生するコールバック問題を扱う.
本研究では,分散オブジェクト技術の標準仕様であるCO... [more]
CST2004-18
pp.11-16
 18件中 1~18件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会