A continuous time markov decision process based on-chip buffer allocation methodology