Using Hardware Counters to Predict Vectorization
introduction to information retrieval : index .