Keyword : finite state machine


PAC-k: A Parallel Aho-Corasick String Matching Approach on Graphic Processing Units Using Non-Overlapped Threads
ThienLuan HO Seung-Rohk OH HyunJin KIM 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2016/07/01
Vol. E99-B  No. 7 ; pp. 1523-1531
Type of Manuscript:  PAPER
Category: Network Management/Operation
Keyword: 
Aho-Corasick algorithmdeep packet inspectionDEFCONdeterministic finite automatonfinite state machinegraphic processing unitsSnortstring matching algorithm
 Summary | Full Text:PDF(1.6MB)

A Memory-Efficient Bit-Split Pattern Matching Architecture Using Shared Match Vectors for Deep Packet Inspection
HyunJin KIM 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2012/11/01
Vol. E95-B  No. 11 ; pp. 3594-3596
Type of Manuscript:  LETTER
Category: Network Management/Operation
Keyword: 
computer network securitydeep packet inspectionfinite state machinestring matchingnetwork monitoring
 Summary | Full Text:PDF(255.1KB)

Finite Virtual State Machines
Raouf SENHADJI-NAVARRO Ignacio GARCIA-VARGAS 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/10/01
Vol. E95-D  No. 10 ; pp. 2544-2547
Type of Manuscript:  LETTER
Category: Computer System
Keyword: 
finite state machinereconfigurationRAMFPGA
 Summary | Full Text:PDF(330.4KB)

A Pattern Partitioning Algorithm for Memory-Efficient Parallel String Matching in Deep Packet Inspection
HyunJin KIM Hyejeong HONG Dongmyoung BAEK Sungho KANG 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2010/06/01
Vol. E93-B  No. 6 ; pp. 1612-1614
Type of Manuscript:  LETTER
Category: Network Management/Operation
Keyword: 
computer network securitydeep packet inspectionfinite state machinepattern matchingand network monitoring
 Summary | Full Text:PDF(6.7MB)

A Memory-Efficient Pattern Matching with Hardware-Based Bit-Split String Matchers for Deep Packet Inspection
HyunJin KIM Hong-Sik KIM Jung-Hee LEE Jin-Ho AHN Sungho KANG 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2010/02/01
Vol. E93-B  No. 2 ; pp. 396-398
Type of Manuscript:  LETTER
Category: Network Management/Operation
Keyword: 
computer network securitydeep packet inspectionfinite state machinepattern matchingand network monitoring
 Summary | Full Text:PDF(269KB)

An Efficient Signature Matching Scheme for Mobile Security
Ruhui ZHANG Makoto IWATA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2008/10/01
Vol. E91-B  No. 10 ; pp. 3251-3261
Type of Manuscript:  PAPER
Category: Network Management/Operation
Keyword: 
signature matchingfinite state machineAho-Corasick algorithmmobile security
 Summary | Full Text:PDF(896.7KB)

Acceleration of Test Generation for Sequential Circuits Using Knowledge Obtained from Synthesis for Testability
Masato NAKAZATO Satoshi OHTAKE Kewal K. SALUJA Hideo FUJIWARA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2007/01/01
Vol. E90-D  No. 1 ; pp. 296-305
Type of Manuscript:  PAPER
Category: Dependable Computing
Keyword: 
sequential circuittest generationsynthesis for testabilityfinite state machinetest knowledge
 Summary | Full Text:PDF(641.6KB)

Adaptive Channel Coding Techniques Using Finite State Machine for Software Defined Radio
Kentaro IKEMOTO Ryuji KOHNO 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2002/12/01
Vol. E85-B  No. 12 ; pp. 2663-2671
Type of Manuscript:  Special Section PAPER (Special Issue on Software Defined Radio Technology and Its Applications)
Category: 
Keyword: 
software defined radio (SDR)adaptive channel coding and decodingdecoder selection errorfinite state machineencoder transition
 Summary | Full Text:PDF(975.5KB)

A Method of Mapping Finite State Machine into PCA Plastic Parts
Minoru INAMORI Hiroshi NAKADA Ryusuke KONISHI Akira NAGOYA Kiyoshi OGURI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2002/04/01
Vol. E85-A  No. 4 ; pp. 804-810
Type of Manuscript:  Special Section PAPER (Special Section of Selected Papers from the 14th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
asynchronous designfinite state machinemappingprogrammable device
 Summary | Full Text:PDF(633.4KB)

A Program Generator for Object-Based Implementation of Communication Protocol Software
Chung-Shyan LIU 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2000/05/25
Vol. E83-B  No. 5 ; pp. 1013-1022
Type of Manuscript:  Special Section PAPER (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems)
Category: Object Management Architecture/Design Pattern/Frameworks
Keyword: 
protocol softwareobject-oriented designfinite state machineprogram generator
 Summary | Full Text:PDF(417.2KB)

An Optimum Half-Hot Code Assignment Algorithm for Input Encoding and Its Application to Finite State Machines
Yasunori NAGATA Masao MUKAIDONO Chushin AFUSO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/10/25
Vol. E78-D  No. 10 ; pp. 1231-1238
Type of Manuscript:  PAPER
Category: Automata, Languages and Theory of Computing
Keyword: 
finite state machinehalf-hot codeinput encoding problemPLAunate Boolean function
 Summary | Full Text:PDF(594.9KB)

A Method for Reducing Power Consumption of CMOS Logic Based on Signal Transition Probability
Kunihiro ASADA Junichi AKITA 
Publication:   IEICE TRANSACTIONS on Electronics
Publication Date: 1995/04/25
Vol. E78-C  No. 4 ; pp. 436-440
Type of Manuscript:  Special Section PAPER (Special Issue on Low-Voltage, Low-Power Integrated Circuits)
Category: DA/Architecture
Keyword: 
charge and discharge powerprobability parameterfinite state machinesignal assignmentoutput probability
 Summary | Full Text:PDF(393.7KB)

An Acyclic Expansion-Based Protocol Verification for Communications Software
Hironori SAITO Yoshiaki KAKUDA Toru HASEGAWA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B  No. 10 ; pp. 998-1007
Type of Manuscript:  Special Section PAPER (Special Issue on Communication Software Technologies)
Category: 
Keyword: 
communications softwarecommunication protocolprotocol verificationfinite state machineacyclic expansion algorithmtemporal logic
 Summary | Full Text:PDF(905.4KB)

An Optimized Test Sequence Generation Method for Communication Systems--Improved SW Method--
Fumiaki SATO Tadanori MIZUNO 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B  No. 10 ; pp. 1024-1031
Type of Manuscript:  Special Section PAPER (Special Issue on Communication Software Technologies)
Category: 
Keyword: 
communication softwaretest methodfinite state machinecommunication protocolstest sequence generation
 Summary | Full Text:PDF(634.9KB)