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...

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...

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.

This paper describes an investigation of potential advantages and risks of applying an aggressive asynchronous design methodology to Intel Architecture. RAPPID (“Revolving Asynchronous Pentium® Processor Instruction Decoder”), a prototype IA32 instruction length decoding and steering unit, was implemented using self-timed techniques. RAPPID chip was fabricated on a 0.25μ CMOS process and tested...

Comparison of the Expectation Maximization Algorithm and an Artificial Neural Network for Automated Bone Segmentation Austin Ramme4, Vincent Magnotta1,2, Nicole M. Grosland2,3 1Radiology, University of Iowa, Iowa City, IA; 2Biomedical Engineering, University of Iowa, Iowa City, IA; 3Center for Computer Aided Design, The University of Iowa, Iowa City, IA; 4Carver College of Medicine, The Univers...

This study examined the unique associations between big five personality traits and adolescent Internet addiction (IA), as well as the mediating role of coping style underlying these relations. Our theoretical model was tested with 998 adolescents. Participants provided self-report data on demographic variables, big five personality traits, coping style, and IA. After controlling for demographi...