@book{2004--intel-optimization ,note={URL: {\tt http://www.intel.com/design/pentium4/manuals/index\_new.htm}} ,title={{IA-32 Intel architecture optimization: reference manual}} ,booktitle={{IA-32 Intel architecture optimization: reference manual}} ,publisher={Intel Corporation} ,year={2004} }