Login / Signup

Efficient SAT encoding scheme for schedulability analysis of non-preemptive tasks on multiple computational resources.

Jaishree MayankArijit Mondal
Published in: J. Syst. Archit. (2020)
Keyphrases
  • encoding scheme
  • data analysis
  • data sets
  • neural network
  • search algorithm
  • databases
  • pattern recognition