High-Performance Computing for Formal Security Assessment.
Luca SpalazziFrancesco SpegniPublished in: HPCS (2019)
Keyphrases
- high performance computing
- scientific computing
- computational science
- computing infrastructure
- massively parallel
- formal methods
- parallel computing
- computing resources
- molecular dynamics
- fault tolerance
- computing systems
- national laboratory
- grid computing
- energy efficiency
- formal specification
- computing environments
- access control
- fault tolerant
- action recognition
- peer to peer