Verifying Multi-core Schedulability with Data Decision Diagrams.

Dimitri Racordon Didier Buchs

Published in: SERENE (2016)

Keyphrases

data sets
raw data
data analysis
high quality
image data
input data
data structure
original data
database
search algorithm
high dimensional
data points
domain specific