Leistungsvorhersage für ressourcenmanagement in clustern durch verifizierte lernende systeme
Ein systematischer Ansatz, der geeignete Systemmetriken nutzt, um die Leistung von Anwendungen zur Laufzeit vorherzusagen, und DNN-Verifizierung kombiniert, um ein vertrauenswürdiges Leistungsvorhersagemodell zu erstellen.