Login / Signup
Combining Verified and Adaptive System Components Towards More Secure Computer Architectures.
Simone Fischer-Hübner
Klaus Brunnstein
Published in:
Security and Persistence (1990)
Keyphrases
</>
computer architecture
computer systems
linear algebra
parallel computers
computer science
parallel computing
compute intensive
computer science department
numerical methods
high performance computing
multi threaded
instruction set
multiscale
digital libraries