Simulation-based verification for parallelization of model-based applications.
Claus B. KochUmut DurakDavid MüllerPublished in: SummerSim (2018)
Keyphrases
- model checking
- parallel processing
- learning algorithm
- databases
- data sets
- genetic algorithm
- feature selection
- face verification
- model free
- evolutionary algorithm
- data driven
- concurrent systems
- coarse grained
- formal analysis
- shared memory
- three dimensional
- decision trees
- image processing
- decision making
- information retrieval
- data mining