Specification and Performance Metrics for Parallel Programs.
Brian J. d'AuriolJuan UlloaPublished in: Software Engineering Research and Practice (2005)
Keyphrases
- high level programming language
- provably correct
- high level
- programming language
- sorting algorithms
- program execution
- programming environment
- control flow
- similarity metrics
- database
- computer architecture
- specification language
- reverse engineering
- parallel computation
- evaluation metrics
- java programs
- database systems
- social networks
- neural network
- data sets