Experiments with a program timing tool based on source-level timing schema | IEEE Journals & Magazine | IEEE Xplore