共 50 条
- [1] A Regular Expressions Matching Algorithm Based on Templates Finite Automata [J]. 2015 INTERNATIONAL CONFERENCE ON ICT CONVERGENCE (ICTC), 2015, : 1058 - 1063
- [2] A Novel Regular Expression Matching Algorithm Based on Multi-Dimensional Finite Automata [J]. 2014 IEEE 15TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE SWITCHING AND ROUTING (HPSR), 2014, : 90 - 97
- [4] Scalable TCAM-based Regular Expression Matching with Compressed Finite Automata [J]. 2013 ACM/IEEE SYMPOSIUM ON ARCHITECTURES FOR NETWORKING AND COMMUNICATIONS SYSTEMS (ANCS), 2013, : 83 - 93
- [6] A learning automata-based memetic algorithm [J]. Genetic Programming and Evolvable Machines, 2015, 16 : 399 - 453
- [7] Hybrid automata-based CEGAR for rectangular hybrid systems [J]. Formal Methods in System Design, 2015, 46 : 105 - 134
- [9] Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2013), 2013, 7737 : 48 - 67
- [10] Finite automata-based semantics of CFSM model [J]. Huadong Ligong Daxue Xuebao /Journal of East China University of Science and Technology, 2001, 27 (05):