Login / Signup
On the Use of Term Rewriting for Performance Ooptimization of Legacy HPC Applications.
Ajay Panyala
Daniel G. Chavarría-Miranda
Sriram Krishnamoorthy
Published in:
ICPP (2012)
Keyphrases
</>
term rewriting
high performance computing
theorem prover
theorem proving
operational semantics
rewrite systems
knuth bendix
scientific computing
fault tolerance
massively parallel
reverse engineering
data mining
computing systems
legacy systems
inference rules
intelligent agents
natural language
cooperative