Login / Signup

A model for systematic monitoring and debugging of starvation bugs in multicore software.

Sara Abbaspour AsadollahMehrdad SaadatmandSigrid EldhDaniel SundmarkHans A. Hansson
Published in: SCTDCP@ASE (2016)
Keyphrases
  • probabilistic model
  • formal model
  • mathematical model
  • objective function
  • cost function
  • computational model
  • data sets
  • neural network
  • high level
  • control system
  • software systems
  • theoretical framework
  • statistical model