| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| ICD | 2023-04-11 11:00 |
神奈川 | 川崎市産業振興会館10階第４会議室 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
［招待講演］1 Tb 4b/Cell 176-Tier 3D NAND Flash with 4 Independent Planes for Read ○田中智晴（MMJ）  ICD2023-9 |
メモリセル当たり４ビット(QLC)の記憶方式を用いた、１Tビットの記憶容量の3D-NANDフラッシュメモリを示す。本メモ... [more] | ICD2023-9 p.17 |
| 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 |
| SWIM | 2016-05-20 17:25 |
東京 | 機械振興会館 | MongoDBにおけるトランザクション処理の実装 ○工藤 司（静岡理工科大）・石野正彦（文教大）・五月女健治（法政大）・片岡信弘（インタプライズ研） SWIM2016-5 |
NoSQL データベースで同時に複数のデータを更新する場合，トランザクションのACID特性を維持できないという課題がある... [more] | SWIM2016-5 pp.21-26 |
| SWIM | 2015-08-20 14:40 |
東京 | 法政大学 市谷 新一口坂校舎 | MongoDBにおけるトランザクションとしての一括更新方式 ○工藤 司（静岡理工科大）・石野正彦（文教大）・五月女健治（法政大）・片岡信弘（インタプライズ研） SWIM2015-8 |
クラウドコンピューティングの進展に伴い様々なNoSQLデータベースが提案，実用化されている．NoSQLデータベースでは，... [more] | SWIM2015-8 pp.7-12 |
| SWIM | 2014-05-23 16:05 |
東京 | 機械振興会館 | バッチ更新とオンライン入力の同時実行制御方式 ～ 実装と評価 ～ ○工藤 司（静岡理工科大）・武田由衣（三菱電機インフォメーションシステムズ）・石野正彦（文教大）・五月女健治（法政大）・片岡信弘（インタプライズ研） SWIM2014-6 |
業務システムのデータベース更新には，長時間のバッチ更新がある．これをトランザクションとしてオンライン入力と同時実行するた... [more] | SWIM2014-6 pp.31-36 |
| MoNA, AN, USN (併催) |
2013-01-24 11:30 |
宮城 | 作並温泉ゆづくしSalon 一の坊(仙台市) | 片方向FEC通信を活用した高信頼高並行無線アドホック通信手法 ○中川雄太・桧垣博章（東京電機大） AN2012-51 |
一般に低信頼と言われている無線通信環境における高信頼通信手法には，誤り検出符号と再送信による BEC (Backward... [more] | AN2012-51 pp.43-48 |
| VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2012-11-27 13:50 |
福岡 | 九州大学百年講堂 | HDRアーキテクチャを対象とした同時実行指向スケジューリングを用いたクロック設計考慮低電力化高位合成手法 ○赤坂宏行・柳澤政生・戸川 望（早大） VLD2012-81 DC2012-47 |
現在LSIの小型化や高性能化に伴い携帯端末の需要が増加し，電池の耐久性や端末の発熱問題が発生している．また，LSI設計プ... [more] | VLD2012-81 DC2012-47 pp.129-134 |
| DE | 2012-08-02 11:00 |
愛知 | 名古屋大学 | トランザクショナルなストリームデータ処理の実現方式 ○小山田昌史・川島英之・北川博之（筑波大） DE2012-21 |
スマートフォンより継続的に送信される位置情報やWebサーバにおける各種ログをはじめとするストリームデータの分析処理に注目... [more] | DE2012-21 pp.29-34 |
| SS | 2011-06-30 10:30 |
海外 | 高麗大(韓国) | An Extention of DynAlloy with Concurrency ○Takuya Iwatsuka・Shoji Yuen（Nagoya Univ.） SS2011-1 |
We extend the DynAlloy specification language to deal with c... [more] | SS2011-1 pp.1-6 |
| 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 |
[研究会発表申込システムのトップページに戻る]