Memory Simulations, Security and Optimization in a Verified Compiler.
David MonniauxPublished in: CPP (2024)
Keyphrases
- intrusion detection
- general purpose
- optimization algorithm
- security policies
- constrained optimization
- level parallelism
- memory usage
- optimization process
- global optimization
- main memory
- access control
- optimization problems
- memory space
- information security
- simulation model
- numerical simulations
- statistical databases
- random access
- computer security
- memory size
- multi objective