Keyphrases
- low level
- high level
- higher level
- source code
- high level abstractions
- low level features
- visual information
- person identification
- visual cues
- model checking
- byte code
- concurrent systems
- visual features
- data sets
- database systems
- formal analysis
- mid level
- code generation
- high level information
- asynchronous circuits
- semantic concepts
- java card
- binary codes
- semantic information
- open source
- case study