Evaluation of plural expressions corresponding to input data

Hardware-based flash FTL function realization method and data storage device thereof

In-field self-test controller for safety critical automotive use cases

Secure boot sequencer and secure boot device

METHOD AND APPARATUS FOR PROCESSING SOFTWARE CODE

Automated test generation for structural coverage for temporal logic falsification of cyber-physical systems

Method and System of Monitoring Appliance Usage

Molecular State Machines

State controller for a system driven by a command

Devices for time division multiplexing of state machine engine signals

Method and apparatus for compiling regular expressions

Methods and apparatuses for providing data received by a state machine engine

Overflow detection and correction in state machine engines

Efficient state machines for real-time dataflow programming

Counter operation in a state machine lattice

Maintaining state information in a multi-component, event-driven state machine

Boolean logic in a state machine lattice

Regular expression matching with back-references using backtracking

Distributable serializable finite state machine

Methods and apparatuses for providing data received by a plurality of state machine engines

Infrastructure system for a vehicle

Activation method and portable terminal

Content search pattern matching using deterministic finite automata (DFA) graphs

Methods and systems for detection in a state machine

Utilizing special purpose elements to implement a FSM

Maintaining state information in a multi-component, event-driven state machine

Maintaining state information in a multi-component, event-driven state machine

DEVICE AND METHOD FOR PROCESSING COUNTER DATA

System and method for the automatic validation of dialog run time systems

Method and apparatus for compiling regular expressions

Boolean logic in a state machine lattice

Computer-based distribution of large sets of regular expressions to a fixed number of state machine engines for products and services

Results generation for state machine engines

Hybrid virtual GPIO

Method and system for generating stateflow models from software requirements

Counter operation in a state machine lattice

Parallelism From Functional Decomposition

Command-driven NFA hardware engine that encodes multiple automatons

NFA byte detector

Sampled deterministic finite automata for deep packet inspection

Regular expression support in instrumentation languages using kernel-mode executable code

Distributable serializable finite state machine

State grouping for element utilization

Managing an expression-based DFA construction process

Utilizing special purpose elements to implement a FSM

Implicit event broadcast in a state chart of a technical computing environment

Methods and systems for detection in a state machine

System and method for automatic generation of software test

Receiving data streams in parallel and providing a first portion of data to a first state machine engine and a second portion to a second state machine

Overflow detection and correction in state machine engines

Non-deterministic finite state machine module for use in a regular expression matching system

Unrolling quantifications to control in-degree and/or out-degree of automaton

Method and apparatus for compiling regular expressions

Methods and systems for routing in a state machine

Scanning data streams in real-time against large pattern collections

Automated latency management and cross-communication exchange conversion

State machine control of a debugger

Determining relevant events in source code analysis

Methods and devices for programming a state machine engine

Automated web task procedures based on an analysis of actions in web browsing history logs

Method and device for extracting data from a data stream travelling around an IP network

Method for controlling a state machine

Unified state transition table describing a state machine model

Finite state machine for system management

Interaction with a visualized state transition model

Regex compiler

Conducting verification in event processing applications using formal methods

Graph caching

Scripting framework for business objects

Asynchronous workflows

Methods for accelerating hash-based compression and apparatuses using the same

Methods for accelerating hash-based compression and apparatuses using the same

Compiling and optimizing a computer code by minimizing a number of states in a finite machine corresponding to the computer code

Data flow management in processing workflows

Active state visualization for finite state machine models