Sciweavers

18155 search results - page 266 / 3631
» Point
Sort
View
NOMS
2008
IEEE
131views Communications» more  NOMS 2008»
16 years 21 days ago
Availability "weak point" analysis over an SOA deployment framework
— Availability is one of the important factors to be considered for business-driven IT service management. This paper addresses the issue of analyzing what we call availability w...
Lei Xie, Jing Luo, Jie Qiu, John A. Pershing, Ying...
ARITH
2007
IEEE
16 years 20 days ago
Formal Verification of Floating-Point Programs
Sylvie Boldo, Jean-Christophe Filliâtre
ARITH
2007
IEEE
16 years 20 days ago
Decimal Floating-Point Multiplication Via Carry-Save Addition
Decimal multiplication is important in many commercial applications including financial analysis, banking, tax calculation, currency conversion, insurance, and accounting. This p...
Mark A. Erle, Michael J. Schulte, Brian J. Hickman...
ARITH
2007
IEEE
16 years 20 days ago
A New Architecture For Multiple-Precision Floating-Point Multiply-Add Fused Unit Design
The floating-point multiply-add fused (MAF) unit sets a new trend in the processor design to speed up floatingpoint performance in scientific and multimedia applications. This ...
Libo Huang, Li Shen, Kui Dai, Zhiying Wang
ARITH
2007
IEEE
16 years 20 days ago
Optimistic Parallelization of Floating-Point Accumulation
Abstract— Floating-point arithmetic is notoriously nonassociative due to the limited precision representation which demands intermediate values be rounded to fit in the availabl...
Nachiket Kapre, André DeHon