The IA-64 architecture provides new opportunities and challenges for implementing an improved set of transcendental functions. Using several novel polynomial-based table-driven techniques, we are able to provide new algorithms for the transcendental functions. Major improvements include an accuracy level of about 0.6 ulps (units in the last place) and forward trigonometric functions that have a...

Absorbing aerosols can strongly absorb solar radiation and have a profound impact on the global and regional climate. Black carbon (BC), organic carbon (OC) and dust are three major types of absorbing aerosols. In order to deepen the overall understanding of absorbing aerosols over East Asia and provide a basis for further investigation of its role in enhanced warming in drylands, the spatial-t...

Lisoněk recently reformulated the characterization of Charpin and Gong of a large class of hyper-bent functions in terms of cardinalities of hyperelliptic curves following previous ideas of Lachaud and Wolfmann, and Katz and Livné. In this paper, we present a generic approach of such ideas and show that it applies naturally to a distinct family of functions proposed by Mesnager. Doing so, a pol...

The IA-64 architecture, co-developed by HP and Intel, is going to reach market mid-2000 with Merced as its first implementation. Major industry players have endorsed this new architecture and technical details are gradually becoming publicly available. However, the complete architecture will not be fully disclosed until machines become available. To provide for early availability of Linux on IA...

0272-1732/00/$10.00  2000 IEEE The press and the technical community have generated much excitement and speculation about the IA-64 instruction set and the Itanium processor. Intel and HewlettPackard have rolled out (one instruction at a time) the instruction set. Intel is rolling out (one transistor at a time) the Itanium processor and other platform components. This special issue provides th...

Intel is applying formal veriication to various pieces of mathematical software used in Merced, the rst implementation of the new IA-64 architecture. This paper discusses the development of a generic oating point library giving deenitions of the fundamental terms and containing formal proofs of important lemmas. We also brieey describe how this has been used in the veriication eeort so far.