Many-Core Scheduling of Data Parallel Applications Using SMT Solvers.
Pranav TendulkarPeter PoplavkoIoannis GalanommatisOded MalerPublished in: DSD (2014)
Keyphrases
- data sets
- data analysis
- original data
- data collection
- data processing
- complex data
- raw data
- synthetic data
- database
- image data
- small number
- resource allocation
- neural network
- databases
- probabilistic model
- end users
- data points
- data mining techniques
- data structure
- information systems
- statistical analysis
- constraint satisfaction