A Computation Theory and Implementation of Sequential Hardware Equivalence.
Carl PixleyPublished in: CAV (DIMACS/AMS volume) (1990)
Keyphrases
- data structure
- graphics cards
- hardware implementation
- hardware architecture
- information systems
- real time
- low cost
- vlsi implementation
- circuit design
- efficient implementation
- computer systems
- hardware and software
- theoretical basis
- image processing
- computing systems
- parallel computers
- memory management
- hardware software co design
- parallel computation
- parallel implementation
- belief functions
- case study