Evaluating a formal methodology for dynamic tuning of large‐scale parallel applications | Publicación