机译:回顾状态爆炸:在保持功能等效的同时自动构建增强FA
Dept. of Electr. & Comput. Eng., Univ. of Missouri, Columbia, MO, USA;
deterministic automata; finite automata; formal languages; DFA generation; JFA traversal time; augmented-FA; deep packet inspection; deterministic finite automata; finite automation; functional equivalence; memory bandwidth requirements; memory-based implementations; optimization techniques; per-character processing; regular expression matching; regular expressions; state blow-up; state explosion problem; Automata; Bandwidth; Complexity theory; Explosions; Memory management; Proposals; Radiation detectors; Deep packet inspection; finite automata; regular expression matching;
机译:用任意高能量的签署符号固定功能和爆炸到Klein-Gordon方程
机译:回顾转录因子功能对等的经典例子:无眼和Pax6功能对等还是不同?
机译:记忆中语言和空间领域的模块化和功能等效性的再研究证据
机译:重新审视IVI:使用开放的FPGA构建下一代测试系统,同时保留软件API
机译:获得性功能刺激对刺激等效性的增强作用:功能或等效性类中的初步成员资格
机译:智能抗震建筑系统的自动生成:基础隔离与建筑连接的混合系统
机译:通过功能等效检查高效地自动验证循环和数据流转换