next up previous contents
Next: Lookahead Results Up: Strategies Previous: Profiling


Although the profiling reports give a timing measurement, these appear to be inaccurate and includes overheads due to the profiling itself. In fact we simply time some sample calculations performed using a compiled program using the unix time command to get measure the amount of CPU time required for the calculation. Note that these timings include the time required to execute the program and to compute the result back into decimal. The results give us an approximate measure of the real time requirements of the system.

Martin Escardo