Experiments with a program timing tool based on source-level timing schema | IEEE Conference Publication | IEEE Xplore