𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Transformation methods and tools for design of efficient and reliable programs

✍ Scribed by V. N. Kas'yanov

Publisher
Springer US
Year
1993
Tongue
English
Weight
785 KB
Volume
29
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Efficient and reliable methods for round
Efficient and reliable methods for rounded-interval arithmetic
✍ S.L. Abrams; W. Cho; C.-Y. Hu; T. Maekawa; N.M. Patrikalakis; E.C. Sherbrooke; X πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 954 KB

We present an efficient and reliable method for computing the unitin-the-last-place (u/p) of a double-precision floating-point number, taking advantage of the standard binary representation for floatingpoint numbers defined by IEEE Std 754-1985. The ulp is necessary to perform software rounding for

Property Pd,m and efficient design of re
Property Pd,m and efficient design of reliable networks
✍ Ralph J. Faudree; Ronald J. Gould; Jeffrey S. Powell πŸ“‚ Article πŸ“… 2012 πŸ› John Wiley and Sons 🌐 English βš– 199 KB

## Abstract For __d__ β‰₯ 1 and __m__ β‰₯ 1, a graph has property __P__~__d__,__m__~ if there exist at least __m__ vertex‐disjoint paths of length at most __d__ between each pair of vertices. Property __P__~__d__,__m__~, which has a strong connection to wide diameter, is one way of measuring the reliab