A measure & conquer approach for the analysis of exact algorithms