One paper is accepted by TASLP.