| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| SS | 2020-03-04 15:10 |
Okinawa | (Cancelled but technical report was issued) |
Transforming Programs with Exclusive Control into Logically Constrained Term Rewrite Systems Misaki Kojima, Naoki Nishida, Yutaka Matsubara, Masahiko Sakai (Nagoya Univ.)  SS2019-46 |
To apply Logically Constrained Term Rewrite Systems (LCTRSs, for short) to program verification, a previous work targets... [more] | SS2019-46 pp.31-36 |
| SWIM | 2016-05-20 17:25 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | An Implementation of Transaction Processing in MongoDB Tsukasa Kudo (SIST), Masahiko Ishino (Bunkyo Univ.), Kenji Saotome (Hosei Univ.), Nobuhiro Kataoka (Interprise Lab.) SWIM2016-5 |
As for the NoSQL databases, there is the problem that they cannot update the plural data with maintaining the ACID prope... [more] | SWIM2016-5 pp.21-26 |
| SWIM | 2015-08-20 14:40 |
Tokyo | Interprise modeling, etc. | A Lump-sum Update Method as Transaction for MongoDB Tsukasa Kudo (SIST), Masahiko Ishino (Bunkyo University), Kenji Saotome (Hosei Univ.), Nobuhiro Kataoka (Interprise Lab..) SWIM2015-8 |
Along with the progress of the cloud computing, the various NoSQL databases have been proposed and put to practical use.... [more] | SWIM2015-8 pp.7-12 |
| SWIM | 2014-05-23 16:05 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | A Concurrency Control Method between Batch Update and Online Entries
-- An Implementation and Evaluations -- Tsukasa Kudo (Shizuoka Inst. of Science and Tech.), Yui Takeda (MDIS), Masahiko Ishino (Bunkyo Univ.), Kenji Saotome (Hosei Univ.), Nobuhiro Kataoka (Interprise Lab.) SWIM2014-6 |
Databases of business systems are often updated by the long batch update. To execute this as a single transaction concur... [more] | SWIM2014-6 pp.31-36 |
| VLD, DC, IPSJ-SLDM, CPSY, RECONF, ICD, CPM (Joint) [detail] |
2012-11-27 13:50 |
Fukuoka | Centennial Hall Kyushu University School of Medicine | Energy-efficient High-level Synthesis Considering Clock Design for HDR Architectures Hiroyuki Akasaka, Masao Yanagisawa, Nozomu Togawa (Waseda Univ.) VLD2012-81 DC2012-47 |
With the miniaturization of LSIs and its increasing performance, demand for high-functional portable devices has grown s... [more] | VLD2012-81 DC2012-47 pp.129-134 |
| DE | 2012-08-02 11:00 |
Aichi | Nagoya University | On Implementing Transactional Data Strem Processor Masafumi Oyamada, Hideyuki Kawashima, Hiroyuki Kitagawa (Tsukuba Univ.) DE2012-21 |
In this paper, we advocate a novel concept named streaming transaction which maps read-only transactions to arrival of d... [more] | DE2012-21 pp.29-34 |
| DE | 2006-07-14 10:25 |
Niigata | HOTEL SENKEI | A Concurrency Control Method Using the B-link on the Fat-Btree Tomohiro Yoshihara, Dai Kobayashi (Tokyo Tech), Ryo Taguchi (NHK), Haruo Yokota (Tokyo Tech) |
The B-link can achieve excellent concurrency control, which uses links to chain all nodes at each level together. In the... [more] | DE2006-110 pp.109-114 |
[Return to Top Page]