Computation using Noise-based Logic: Efficient String Verification over a Slow Communication Channel
Laszlo B. KishSunil P. KhatriTamás HorváthPublished in: CoRR (2010)
Keyphrases
- communication channels
- logic programming
- cost effective
- noise level
- asynchronous circuits
- image noise
- additive noise
- computationally expensive
- model checking
- data structure
- image restoration
- data sets
- computationally efficient
- efficient computation
- suffix tree
- xml documents
- classical logic
- signature verification
- model checker
- databases