Methods for modeling resource contention on simultaneous multithreading processors | doi.page