Login / Signup
Divisible task scheduling - Concept and verification.
Jacek Blazewicz
Maciej Drozdowski
Mariusz Markiewicz
Published in:
Parallel Comput. (1999)
Keyphrases
</>
concept learning
formal verification
genetic algorithm
case study
model checking