Login / Signup

Divisible task scheduling - Concept and verification.

Jacek BlazewiczMaciej DrozdowskiMariusz Markiewicz
Published in: Parallel Comput. (1999)
Keyphrases
  • concept learning
  • formal verification
  • genetic algorithm
  • case study
  • model checking