Assuring Structural Parallel Programs based on Scoped Permissions.
Yang ZhaoLigong YuGongxuan ZhangJia BeiPublished in: J. Softw. (2009)
Keyphrases
- high level programming language
- access control
- parallel processing
- shared memory
- massively parallel
- databases
- structural features
- sorting algorithms
- parallel programming
- distributed memory
- parallel computation
- structural analysis
- fixpoint
- programming environment
- parallel computing
- structural information
- learning algorithm