Validation of assembler programs for DSPs: a static analyzer.
Matthieu MartelPublished in: PASTE (2004)
Keyphrases
- computer programs
- model validation
- data acquisition
- prolog programs
- neural network
- artificial intelligence
- database
- high speed
- data model
- control structures
- dynamic analysis
- programming environment
- operating system
- logic programs
- software development
- information technology
- high level
- case study
- decision trees
- image processing
- data mining
- real world
- databases
- real time