Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking

Wolfgang, Schreiner [Schreiner, Wolfgang (Informatika), szerző]; Tamas, Berczes [Bérczes, Tamás (Informatikai tudo...), szerző]; Adam, Toth; Research, Institute for Symbolic Computation (RISC) [szerk.]

Angol nyelvű Tudományos Kutatási jelentés (közzétett) (Egyéb)
Megjelent: 2014
    Azonosítók
    • MTMT: 2869470
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2020-08-08 06:12