Modeling And Optimization Of High-Performance Many-Core Systems For Energy-Efficient And Reliable Computing