Keyphrases
- fine grain
- object representation
- symbolic execution
- coarse grain
- test generation
- d objects
- object recognition
- test data generation
- static analysis
- object models
- source code
- distributed memory
- graph matching
- representation scheme
- parallel computation
- appearance model
- specification language
- shape descriptors
- data flow
- object class
- object tracking
- visual tracking
- nested transactions
- viewpoint
- parallel implementation
- database
- parallel processing
- model checking
- test cases
- multithreading
- open source
- object detection
- multiscale