| 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, DC | 2021-10-19 15:25 |
Online | Online | A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata Akira Onishi, Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.)  SS2021-17 DC2021-22 |
Register automaton (abbreviated as RA) is an extension of finite automaton by adding registers storing data values. RA ... [more] |
SS2021-17 DC2021-22 pp.23-28 |
| SS | 2021-03-03 10:25 |
Online | Online | A Subclass of LTL with the Freeze Quantifier Translatable into Register Automata Akira Onishi, Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) SS2020-29 |
Register automaton (abbreviated as RA) is an extension of finite automaton by adding registers storing data values. RA ... [more] |
SS2020-29 pp.7-12 |
| IPSJ-ARC, VLD, CPSY, RECONF, IPSJ-SLDM [detail] | 2018-01-19 16:15 |
Kanagawa | Raiosha, Hiyoshi Campus, Keio University | Reinforcing Generation of Control Flow Statements in Random Test System of C Compilers Based on Equivalence Transformation Mitsuyoshi Iwatsuji, Nagisa Ishiura (Kwansei Gakuin Univ.) VLD2017-87 CPSY2017-131 RECONF2017-75 |
This article proposes a method of reinforcing generation of control statements in random testing of compilers based on e... [more] | VLD2017-87 CPSY2017-131 RECONF2017-75 pp.163-168 |
| MSS | 2016-03-03 16:50 |
Yamaguchi | KAIKYO MESSE SHIMONOSEKI | [Invited Talk]
From Inference to Equivalent Transformation
-- Towards a new theory for Computational Logic -- Kiyoshi Akama (Hokkaido Univ.) MSS2015-77 |
Trial of a big structural change of the theory of computational logic is discussed in this paper. Logical Problems such ... [more] | MSS2015-77 pp.53-56 |
| VLD | 2016-02-29 13:55 |
Okinawa | Okinawa Seinen Kaikan | Random Testing of C Compilers Based on Test Program Generation by Equivalence Transformation Kazuhiro Nakamura, Nagisa Ishiura (Kwansei Gakuin Univ.) VLD2015-112 |
This article proposes a method of generating test programs for random testing of C compilers based on equivalence transf... [more] | VLD2015-112 pp.7-12 |
| ISEC | 2009-12-16 16:35 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Redesigning of a role hierarchy for role-based access control Yoshiharu Asakura (NEC/Univ. of Hyogo), Yukikazu Nakamoto (Univ. of Hyogo) ISEC2009-79 |
Role-based access control (RBAC) is widely used as an access control mechanism in various computer systems. A role graph... [more] | ISEC2009-79 pp.57-63 |
| SS | 2008-03-03 13:30 |
Nagasaki | Nagasaki Univ. | A Sufficient Condition for Termination of Transformations from Equations to Rewrite Rules Kiyotaka Mizuno, Naoki Nishida, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari (Nagoya Univ.) SS2007-62 |
Several procedures which transform pairs of term rewriting systems (TRSs, for short) and sets of equations into equivale... [more] | SS2007-62 pp.31-36 |
| SS | 2007-12-17 13:00 |
Shimane | Shimane Univ. | An experimental program-generation system based on meta-computation. Yoshitaka Nishida, Kiyoshi Akama (Hokkaido Univ.), Hidekatu Koike (Sapporo Gakuin Univ.) SS2007-43 |
The program generation method described in this paper can be used to construct an efficient ET program that satisfies a ... [more] | SS2007-43 pp.31-36 |
| SS | 2007-12-17 13:30 |
Shimane | Shimane Univ. | A Framework for Synthesizing low-level Imperative Programs From Deterministic Abstract Programs Toshihiro Wakatsuki, Kiyoshi Akama (Hokkaido Univ.), Hiroshi Mabuchi (Iwate Prefectural Univ.) SS2007-44 |
Program construction theory based on Equivalent Transformation (ET) supports stepwise program construction process from ... [more] | SS2007-44 pp.37-42 |
| SS | 2007-12-18 11:45 |
Shimane | Shimane Univ. | Evolvable e-Learning system Katsunori Katoh, Kiyoshi Akama, Keisuke Nakamura (Hokkaido Univ.) SS2007-56 |
E-Learning systems are used by many learners and teachers. However, all system functions are not provided for the users... [more] |
SS2007-56 pp.109-114 |
| NLP | 2004-07-16 13:25 |
Shizuoka | Shizuoka Univ. | Proposal of Modified Nonlinear Networks Reduction Technique and Its Estimation Tsutomu Ishida, Takashi Mine, Hidemasa Kubota (Shizuoka Univ.), Takayuki Watanabe (Univ. of Shizuoka), Hideki Asai (Shizuoka Univ.) |
In this report, we propose the nonlinear network reduction technique independent of the network topology. This technique... [more] | NLP2004-28 pp.25-30 |
[Return to Top Page]