A formal approach to context scheduling for multicontext reconfigurable architectures. - Rafael Maestre; F. Kurdahl; Milagros Fernández; Román Hermida; Nader Bagherzadeh; Hartej Singh (IEEE Trans. Very Large Scale Integr. Syst., 2001)