PARFORMAN-an assertion language for specifying behaviour when debugging parallel applications.
Mikhail AugustonPeter FritzsonPublished in: PDP (1993)
Keyphrases
- parallel programming
- programming language
- natural language
- machine learning
- parallel implementation
- parallel hardware
- language processing
- parallel computing
- language learning
- neural network
- parallel processing
- shared memory
- database
- source code
- conceptual graphs
- learning algorithm
- computer architecture
- programming environment
- specification language
- formal language
- execution traces
- programs written
- data sets