Verified Compilation of Space-Efficient Reversible Circuits.
Matthew AmyMartin RoettelerKrysta M. SvorePublished in: CAV (2) (2017)
Keyphrases
- space efficient
- data structure
- sliding window
- markov chain
- data streams
- cellular automata
- high speed
- circuit design
- bloom filter
- b tree
- knowledge compilation
- range sum queries
- delay insensitive
- digital circuits
- linear space
- data sets
- garbage collection
- quadtree
- data management
- analog circuits
- logic circuits
- management system
- kd tree
- similarity measure