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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 6件中 1~6件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
SS 2022-03-07
14:05
ONLINE オンライン開催 並列プログラミング言語に対する契約アノテーションを用いた可逆デバッグ手法
池田崇志結縁祥治名大SS2021-48
本論文では,並列ブロック構造を持つプログラムに対して契約アノテーションを付加し,可逆実行によるデバッグ手法とデバッガの実... [more] SS2021-48
pp.37-42
SS 2020-03-04
15:10
沖縄 てんぶす那覇
(開催中止,技報発行あり)
排他制御を含むプログラムから論理制約付き項書換え系への変換
小嶋美咲西田直樹松原 豊酒井正彦名大SS2019-46
計算モデルである論理制約付き項書換え系(LCTRS)をプログラムの検証に用いる先行研究では,逐次実行される命令型プログラ... [more] SS2019-46
pp.31-36
MoNA, AN, USN
(併催)
2013-01-24
11:30
宮城 作並温泉ゆづくしSalon 一の坊(仙台市) 片方向FEC通信を活用した高信頼高並行無線アドホック通信手法
中川雄太桧垣博章東京電機大AN2012-51
一般に低信頼と言われている無線通信環境における高信頼通信手法には,誤り検出符号と再送信による BEC (Backward... [more] AN2012-51
pp.43-48
ISEC, SITE, IPSJ-CSEC
(共催)
2006-07-21
10:45
岡山 岡山大学 限定並行ブラックボックス零知識証明のラウンド数下界
村谷博文東芝
プレインモデルにおける、自己合成の場合の$m$-限定並行零知識証明プロトコルのラウンド数の下界を導出する。これは、非限定... [more] ISEC2006-43
pp.19-26
DE 2006-07-14
10:25
新潟 ホテル泉慶 Fat-BtreeにおけるB-linkを用いた並行性制御手法
吉原朋宏小林 大東工大)・田口 亮NHK)・横田治夫東工大
B-linkは単一Btree上で優れた並行性制御を実現できることが知られている.B-linkは,サイドポインタにより隣の... [more] DE2006-110
pp.109-114
ISEC 2006-05-19
16:10
東京 機械振興会館 限定並行ブラックボックス零知識証明プロトコルの一般合成
村谷博文東芝
$m$-限定並行零知識対話証明($m$-bounded concurrent zero-knowledge intera... [more] ISEC2006-7
pp.45-52
 6件中 1~6件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会