publication venue for System Architecture Design Space Exploration: An Approach to Modeling and Optimization 2020