1. Mediabench II benchmark,
http://euler.slu.edu/~fritts/mediabench/
2. The Intel XScale microarchitecture technical summary,
http://download.intel.com/design/intelxscale/XScaleDatasheet4.pdf
3. MIPS32 4Kc processor core data sheet,
http://www.mips.com/content/Documentation/MIPSDocumentation/ProcessorCores/4KFamily/MD00039-2B-4KC-DTS-01.07.pdf/getDownload
4. The Texas Instrument OMAP platform,
http://www.ti.com/omap
5. Discussion on kernel paging on the linux kernel mailing list (April 2001),
http://lkml.org/lkml/2001/4/17/115