1. Advanced Micro Devices, Inc. Revision Guide for AMD AthlonTM64 and AMD OpteronTMProcessors, August 2005. http://www.amd.com/us-en/assets/content_type/white_papers_and_tech_docs/25759.pdf .
2. Todd Austin. DIVA: A dynamic approach to microprocessor verification. Journal of Instruction-Level Parallelism, 2:1–26, May 2000.
3. Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, and Andrew Warfield. Xen and the art of virtualization. In SOSP, Proceedings of the ACM Symposium on Operating Systems Principles, pages 164–177, October 2003.
4. Eric B. Brett, David P. Hunter, and Sharon L. Smith. Moving Atom toWindows NT for Alpha. Compaq DIGITAL Technical Journal, 10(2):1–26, January 1999.
5. Henry Baker and Clinton Parker. High level language programs run ten times faster in microstore. ACM SIGMICRO Newsletter, 11(3-4):171–177, 1980.