Market Mechanism-Based User-in-the-Loop Scalable Power Oversubscription for HPC Systems | IEEE Conference Publication | IEEE Xplore