Verified compilation of space-efficient reversible circuits.
Matthew AmyMartin RoettelerKrysta M. SvorePublished in: CoRR (2016)
Keyphrases
- space efficient
- data structure
- sliding window
- data streams
- markov chain
- cellular automata
- high speed
- range sum queries
- linear space
- bloom filter
- locality sensitive hashing
- circuit design
- garbage collection
- suffix array
- management system
- learning algorithm
- machine learning
- database
- multi dimensional
- xml documents
- b tree
- knowledge compilation