| 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, MSS | 2016-01-26 13:20 |
Ishikawa | Shiinoki-Geihin-Kan | Implementation of Parallel Distributed Graph Clustering Algorithm on Apache Spark with Node Partition and Aggregation in Large-Scale Graphs Riku Asayama, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.)  MSS2015-60 SS2015-69 |
In this paper, we propose the rapid clustering method with the large-scaled graph structured data. Our approach is a dat... [more] | MSS2015-60 SS2015-69 pp.141-146 |
| MSS | 2015-03-05 15:30 |
Ishikawa | IT Business Plaza Musashi | Code clone detection using parallel distributed processing for software revision history Shin Chadani, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.) MSS2014-94 |
In software development with a version control system, code clones detected from the version history of the code can be ... [more] | MSS2014-94 pp.19-24 |
| MSS | 2015-03-05 16:05 |
Ishikawa | IT Business Plaza Musashi | Forcasting Individual stock prices using Deep Learning Kazuya Matsumoto, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.) MSS2014-95 |
[more] | MSS2014-95 pp.25-30 |
| MSS | 2015-03-06 10:00 |
Ishikawa | IT Business Plaza Musashi | SMT-based Model Checking for Linear Hybrid Automata using CEGAR Shohei Tomisaka, Ryo Yanase, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.) MSS2014-99 |
[more] | MSS2014-99 pp.47-52 |
| MSS | 2015-03-06 10:25 |
Ishikawa | IT Business Plaza Musashi | Development of SMT-based model checker for assembly cords using interrupts reduction technique Junpei Kobashi, Atsushi Takeshita, Satoshi Yamane, Kohei Sakurai (Kanazawa Univ.) MSS2014-100 |
Recently, embedded software has properties dependent on hardware (direct operation of address spaces, memory mapped I/O,... [more] | MSS2014-100 pp.53-58 |
| MSS | 2015-03-06 13:30 |
Ishikawa | IT Business Plaza Musashi | Parallel Distributed Clustering Algorithm with Node Partition and Aggregation in Large-Scale Graphs Riku Asayama, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.) MSS2014-101 |
In this paper, we propose the rapid clustering method with the large-scaled graph structured data. Our approach is a dat... [more] | MSS2014-101 pp.59-64 |
| MSS | 2015-03-06 13:55 |
Ishikawa | IT Business Plaza Musashi | The symbolic model checking by the model extraction from embedded assembly program Tomonori Kato, Ryosuke Konoshita, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.) MSS2014-102 |
Embedded systems have been widely used. In addition, embedded systems have been gradually complicated.It is important to... [more] | MSS2014-102 pp.65-70 |
| SS, MSS | 2014-01-31 09:30 |
Aichi | Distributed Online Decison Tree Learning for Stream Data Based on Actor Model Koichi Yamamoto, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.) MSS2013-61 SS2013-58 |
Because the conventional decision tree learning algorithm is not designed for the large-scale data computing, it isn't p... [more] | MSS2013-61 SS2013-58 pp.59-64 |
|
| SS, IPSJ-SE | 2013-10-24 10:30 |
Ishikawa | Symbolic Model Checking of Embedded CISC Assembly Program Kenta Watanabe, Hyejin Jang, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.) SS2013-36 |
The more complicated embedded systems are, the more difficult verification of safety and reliability is. Therefore, the... [more] |
SS2013-36 pp.1-5 |
|
| SS, IPSJ-SE | 2013-10-24 10:50 |
Ishikawa | Development of the Behavior Extractor for Assembly Program of Embedded CISC Microcomputer and Adapting to Model Checking
-- Generating the Model Automatically by Simulation -- Ryosuke Konoshita, Satoshi Yamane, Kohei Sakurai (Kanazawa Univ.) SS2013-37 |
We aim at Model Checking for Embedded Systems. We describe the outline of Behavior Extractor that automatically construc... [more] | SS2013-37 pp.7-12 |
|
[Return to Top Page]