Login / Signup
Practical formal correctness checking of million-core problem solving environments for HPC.
Diego Caminha Barbosa De Oliveira
Zvonimir Rakamaric
Ganesh Gopalakrishnan
Alan Humphrey
Qingyu Meng
Martin Berzins
Published in:
SE-CSE@ICSE (2013)
Keyphrases
</>
real world
artificial intelligence
high quality
case based reasoning
high performance computing
fault tolerance
engineering design
cooperative
knowledge acquisition
formal model
computer based learning environments
machine learning
formal specification
knowledge level
analogical reasoning