These two libraries have been developed by Radu Mateescu (INRIA/VASY).

4. Enhanced Version of the Memtime Utility

Memtime
is a command-line tool for measuring the CPU and memory consumption of a program. The INRIA/VASY and INRIA/CONVECS teams provide enhanced versions of Memtime that are used daily for the development of the CADP toolbox:

Memtime version 1.4 brings support for 64-bit architectures and a small patch for Solaris.
It was prepared by Hubert Garavel, Frédéric Lang, and Wendelin Serwe.
Precompiled executables of Memtime are provided for eight machine architectures.

Related sites:

Original versions of Memtime (versions 1.0 to 1.3) by Johan Bengtsson at Uppsala University. No longer maintained since 2002. We used version 1.3 as a starting point.