| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Dependable Computing (DC) (Searched in: 2019)
Search Results: Keywords 'from:2019-10-24 to:2019-10-24'
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| DC, SS | 2019-10-24 13:00 |
Kumamoto | Kumamoto Univ. |  SS2019-13 DC2019-41 |
(To be available after the conference date) [more] | SS2019-13 DC2019-41 pp.1-6 |
| DC, SS | 2019-10-24 13:25 |
Kumamoto | Kumamoto Univ. | Design of reconstructing a CUI tool as a service for supporting development Ko Miyazaki, Haruaki Tamada (Kyoto Sangyo Univ.) SS2019-14 DC2019-42 |
Recently, we use many various measurement tools for software in order to understand the development status. The tools... [more] |
SS2019-14 DC2019-42 pp.7-12 |
| DC, SS | 2019-10-24 13:50 |
Kumamoto | Kumamoto Univ. | SS2019-15 DC2019-43 |
(To be available after the conference date) [more] | SS2019-15 DC2019-43 pp.13-18 |
| DC, SS | 2019-10-24 14:30 |
Kumamoto | Kumamoto Univ. | Computing Optimal Weight in Weighted Register Automata and Related Decision Problems Reo Yoshimura (Nagoya Univ.), Yoshiaki Takata (Kochi-tech.), Hiroyuki Seki (Nagoya Univ.) SS2019-16 DC2019-44 |
Register automaton (RA) is a computational model that can handle data values by adding registers to finite automaton. Re... [more] | SS2019-16 DC2019-44 pp.19-24 |
| DC, SS | 2019-10-24 14:55 |
Kumamoto | Kumamoto Univ. | Extending rewriting induction to existentially quantified equations Kazushi Nishie, Naoki Nishida, Masahiko sakai (Nagoya Univ.) SS2019-17 DC2019-45 |
In this paper, we extend rewriting induction which is developed to prove equations, to existentially quantified equation... [more] | SS2019-17 DC2019-45 pp.25-30 |
| DC, SS | 2019-10-24 15:20 |
Kumamoto | Kumamoto Univ. | () SS2019-18 DC2019-46 |
[more] | SS2019-18 DC2019-46 pp.31-36 |
| DC, SS | 2019-10-24 16:00 |
Kumamoto | Kumamoto Univ. | A Non-scan Online Test Based on Covering n-Time State Transition Yuki Ikegaya, Yuta Ishiyama, Toshinori Hosokawa (Nihon Univ.), Masayoshi Yoshimura (Kyoto Sangyo Univ.) SS2019-19 DC2019-47 |
As one of the means to avoid the fault due to the deteriorate over time of VLSI, online test is used to monitor the outp... [more] | SS2019-19 DC2019-47 pp.37-42 |
| DC, SS | 2019-10-24 16:25 |
Kumamoto | Kumamoto Univ. | Error correction method using convolutional code in PPM compression Takumi Abe, Masato Kitakami (Chiba Univ.) SS2019-20 DC2019-48 |
PPM compression is one of the compression methods with the highest compression rate. At the time of the proposal, there ... [more] | SS2019-20 DC2019-48 pp.43-46 |
| DC, SS | 2019-10-25 10:00 |
Kumamoto | Kumamoto Univ. | Finding groups of similar answers in programming contests with source code metrics. Kosuke Haraguchi, Tetsuya Kanda, Katsuro Inoue (Osaka Univ.) SS2019-21 DC2019-49 |
Many users participate in programming contests to learn algorithm and improve programming skills. In the existing stud... [more] |
SS2019-21 DC2019-49 pp.47-52 |
| DC, SS | 2019-10-25 10:25 |
Kumamoto | Kumamoto Univ. | SS2019-22 DC2019-50 |
(To be available after the conference date) [more] | SS2019-22 DC2019-50 pp.53-58 |
| DC, SS | 2019-10-25 10:50 |
Kumamoto | Kumamoto Univ. | SS2019-23 DC2019-51 |
(To be available after the conference date) [more] | SS2019-23 DC2019-51 pp.59-64 |
| DC, SS | 2019-10-25 11:15 |
Kumamoto | Kumamoto Univ. | Improvement of understandability metrics of UML Class Diagrams using word similarity Akihito Ihara, Shinji Uchida (NITNC) SS2019-24 DC2019-52 |
[more] | SS2019-24 DC2019-52 pp.65-70 |
[Return to Top Page]