Keyword : automata


A Heuristic for Constructing Smaller Automata Based on Suffix Sorting and Its Application in Network Security
Inbok LEE Victor C. VALGENTI Min S. KIM Sung-il OH 
Publication:   
Publication Date: 2018/03/01
Vol. E101-D  No. 3 ; pp. 613-615
Type of Manuscript:  Special Section LETTER (Special Section on Foundations of Computer Science — Frontiers of Theoretical Computer Science —)
Category: 
Keyword: 
string algorithmregular expressionautomatanetwork security
 Summary | Full Text:PDF

A Formulation of Composition for Cellular Automata on Groups
Shuichi INOKUCHI Takahiro ITO Mitsuhiko FUJIO Yoshihiro MIZOGUCHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/03/01
Vol. E97-D  No. 3 ; pp. 448-454
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science —New Trends in Theory of Computation and Algorithm—)
Category: Cellular Automata
Keyword: 
cellular automatagroupsmodels of computationautomata
 Summary | Full Text:PDF

Modeling, Verification and Testing of Web Applications Using Model Checker
Kei HOMMA Satoru IZUMI Kaoru TAKAHASHI Atsushi TOGASHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/05/01
Vol. E94-D  No. 5 ; pp. 989-999
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Software Development Methodology
Keyword: 
Web applicationmodelingtestingautomatamodel checkingSpin
 Summary | Full Text:PDF

Scheduling of Periodic Tasks on a Dynamically Reconfigurable Device Using Timed Discrete Event Systems
Kenji ONOGI Toshimitsu USHIO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/11/01
Vol. E89-A  No. 11 ; pp. 3227-3234
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: Concurrent Systems
Keyword: 
dynamically reconfigurable deviceschedulingautomatadiscrete event systemsstate feedback
 Summary | Full Text:PDF

Vision Chip Architecture for Detecting Line of Sight Including Saccade
Junichi AKITA Hiroaki TAKAGI Takeshi NAGASAKI Masashi TODA Toshio KAWASHIMA Akio KITAGAWA 
Publication:   IEICE TRANSACTIONS on Electronics
Publication Date: 2006/11/01
Vol. E89-C  No. 11 ; pp. 1605-1611
Type of Manuscript:  Special Section PAPER (Special Section on Novel Device Architectures and System Integration Technologies)
Category: 
Keyword: 
vision chipline of sightsaccadepixel parallel processingautomata
 Summary | Full Text:PDF

On Completeness of Automata
Vakhtang LASHKIA Akihiro NOZAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/11/25
Vol. E81-D  No. 11 ; pp. 1305-1307
Type of Manuscript:  LETTER
Category: Automata,Languages and Theory of Computing
Keyword: 
automatacompletenessfeedback connection
 Summary | Full Text:PDF

A Polynomial Time Learning Algorithm for Recognizable Series
Hiroyuki OHNISHI Hiroyuki SEKI Tadao KASAMI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1994/10/25
Vol. E77-D  No. 10 ; pp. 1077-1085
Type of Manuscript:  PAPER
Category: Automata, Languages and Theory of Computing
Keyword: 
computational learning theoryrecognizable seriesautomataformal language
 Summary | Full Text:PDF

Automatic Generation and Verification of Sufficient Correctness Properties of Synchornous Array Processors
Stan Y. LIAO Srinivas DEVADAS 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1993/09/25
Vol. E76-D  No. 9 ; pp. 1030-1038
Type of Manuscript:  INVITED PAPER (Special Issue on Synthesis and Verification of Hardware Design)
Category: Design Verification
Keyword: 
formal verificationautomatalanguageand theory of computinghardware and disign
 Summary | Full Text:PDF

On the Generative Capacity of Lexical-Functional Grammars
Ryuichi NAKANISHI Hiroyuki SEKI Tadao KASAMI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/07/25
Vol. E75-D  No. 4 ; pp. 509-516
Type of Manuscript:  PAPER
Category: Automaton, Language and Theory of Computing
Keyword: 
lexical-functional grammarsformal languageautomatagenerative capacity
 Summary | Full Text:PDF