Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing.
Mauricio Ayala-RincónRicardo P. JacobiCarlos H. LlanosReiner W. HartensteinPublished in: FDL (2003)
Keyphrases
- data streams
- asynchronous circuits
- sliding window
- bounded model checking
- verification method
- change detection
- low cost
- model checking
- transactional data
- stream data
- multi valued
- data stream mining
- multi dimensional data
- model checker
- streaming data
- hardware implementation
- modal logic
- logic programming
- multi dimensional
- automated reasoning
- classical logic
- space efficient
- formal verification
- concept drift
- outlier detection
- itemsets
- linear time temporal logic
- massive data streams