Login / Signup

Parameterized Memory Models and Concurrent Separation Logic.

Rodrigo FerreiraXinyu FengZhong Shao
Published in: ESOP (2010)
Keyphrases
  • computational complexity
  • computational model
  • statistical model
  • main memory
  • real time
  • neural network model
  • modal logic
  • computational models
  • memory usage
  • computing power