Publication: Publication Date: 2018/03/01 Vol. E101-DNo. 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 algorithm, regular expression, automata, network security,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2014/03/01 Vol. E97-DNo. 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 automata, groups, models of computation, automata,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2011/05/01 Vol. E94-DNo. 5 ;
pp. 989-999 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Software Development Methodology Keyword: Web application, modeling, testing, automata, model checking, Spin,
Scheduling of Periodic Tasks on a Dynamically Reconfigurable Device Using Timed Discrete Event Systems Kenji ONOGIToshimitsu USHIO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2006/11/01 Vol. E89-ANo. 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 device, scheduling, automata, discrete event systems, state feedback,
Publication: IEICE TRANSACTIONS on Electronics Publication Date: 2006/11/01 Vol. E89-CNo. 11 ;
pp. 1605-1611 Type of Manuscript: Special Section PAPER (Special Section on Novel Device Architectures and System Integration Technologies) Category: Keyword: vision chip, line of sight, saccade, pixel parallel processing, automata,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1998/11/25 Vol. E81-DNo. 11 ;
pp. 1305-1307 Type of Manuscript: LETTER Category: Automata,Languages and Theory of Computing Keyword: automata, completeness, feedback connection,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1994/10/25 Vol. E77-DNo. 10 ;
pp. 1077-1085 Type of Manuscript: PAPER Category: Automata, Languages and Theory of Computing Keyword: computational learning theory, recognizable series, automata, formal language,
Automatic Generation and Verification of Sufficient Correctness Properties of Synchornous Array Processors Stan Y. LIAOSrinivas DEVADAS
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1993/09/25 Vol. E76-DNo. 9 ;
pp. 1030-1038 Type of Manuscript: INVITED PAPER (Special Issue on Synthesis and Verification of Hardware Design) Category: Design Verification Keyword: formal verification, automata, language, and theory of computing, hardware and disign,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1992/07/25 Vol. E75-DNo. 4 ;
pp. 509-516 Type of Manuscript: PAPER Category: Automaton, Language and Theory of Computing Keyword: lexical-functional grammars, formal language, automata, generative capacity,