Simulation-based memory dependence checker for CGRA-mapped code verification.
Heejun ShimSoojung RyuPublished in: ISCAS (2014)
Keyphrases
- source code
- model checking
- memory usage
- face verification
- memory space
- windows xp
- symbolic execution
- memory requirements
- low memory
- memory size
- random access
- computational complexity
- website
- data sets
- java bytecode
- verification method
- processor core
- asynchronous circuits
- software engineering
- high level
- case study
- feature selection