Scalable and Near-Optimal Design Space Exploration for Embedded Systems