Automatic Verification of Determinism for Structured Parallel Programs.
Martin T. VechevEran YahavRaghavan RamanVivek SarkarPublished in: SAS (2010)
Keyphrases
- high level programming language
- parallel processing
- data mining
- real world
- sorting algorithms
- image segmentation
- data model
- structured data
- data sets
- shared memory
- structured learning
- intermediate level
- databases
- provably correct
- program execution
- automatic programming
- distributed memory
- computer programs
- information technology
- similarity measure
- case study
- learning algorithm