✦ LIBER ✦

Formal methods applied to a floating-point number system

✍ Scribed by Barrett, G.

Book ID: 117872007
Publisher: IEEE
Year: 1989
Tongue: English
Weight: 829 KB
Volume: 15
Category: Article
ISSN: 0098-5589
DOI: 10.1109/32.24710

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A hybrid floating-point logarithmic numb

A hybrid floating-point logarithmic number system processor

✍ Taylor, F. 📂 Article 📅 1985 🏛 IEEE ⚖ 461 KB

Experience with Applying Formal Methods

Experience with Applying Formal Methods to Protocol Specification and System Architecture

✍ Mani Azimi; Ching-Tsun Chou; Akhilesh Kumar; Victor W. Lee; Phamndra K. Mannava; 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 71 KB

Verification of a Leader Election Protoc

Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394

✍ Marco Devillers; David Griffioen; Judi Romijn; Frits Vaandrager 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 97 KB

PCG methods applied to a system of nonli

PCG methods applied to a system of nonlinear equations

✍ Xiaojun Chen; Tetsuro Yamamoto 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 782 KB

Interior point method applied to voltage

Interior point method applied to voltage collapse problems and system-losses-reduction

✍ Araujo Ferreira, L.C.; Zambroni de Souza, A.C.; Granville, S.; Marangon Lina, J. 📂 Article 📅 2002 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 656 KB

A new numerical method applied to biomed

A new numerical method applied to biomedical systems

✍ Y. Cherruault 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 158 KB