em-SPADE: a compiler extension for checking rules extracted from processor specifications.
Sandeep ChaudharySebastian FischmeisterLin TanPublished in: LCTES (2014)
Keyphrases
- association rules
- expectation maximization
- high speed
- rule sets
- automatically extracted
- unsupervised learning
- high level
- parallel processing
- classification rules
- association rule mining
- software systems
- mixture model
- maximum likelihood
- programming language
- image segmentation
- decision rules
- general purpose
- business rules
- sequential data
- semantic constraints
- industry standard
- instruction scheduling