Login / Signup

Scheduling of Compute-Intensive Code Generated from Event-B Models: An Empirical Efficiency Study.

Fredrik Degerlund
Published in: DAIS (2012)
Keyphrases
  • compute intensive
  • probabilistic model
  • data mining
  • machine learning
  • computer science
  • parallel algorithm
  • parallel processors