Software Automatic Tuning : From Concepts to State-of-the-Art Results