Heterogeneous Resource-Elastic Management for FPGAs: Concepts, Theory and Implementation