✦ LIBER ✦

Higher order generalization and its application in program verification

✍ Scribed by Jianguo Lu; John Mylopoulos; Masateru Harao; Masami Hagiya

Book ID: 110380011
Publisher: Springer Netherlands
Year: 2000
Tongue: English
Weight: 148 KB
Volume: 28
Category: Article
ISSN: 1012-2443
DOI: 10.1023/a:1018952121991

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Program slicing: Its improved algorithm

Program slicing: Its improved algorithm and application in verification

✍ Qi Lu; Fubo Zhang; Jiahua Qian 📂 Article 📅 1988 🏛 Springer 🌐 English ⚖ 609 KB

Higher-Order Generalized Invexity and Du

Higher-Order Generalized Invexity and Duality in Mathematical Programming

✍ Shashi K. Mishra; Norma G. Rueda 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 124 KB

In this paper, we introduce the concepts of higher-order type-I, pseudo-type-I, and quasi-type-I functions and establish various higher-order duality results involving these functions.

A generalized higher order finite-differ

A generalized higher order finite-difference time-domain method and its application in guided-wave problems

✍ Zhenhai Shao; Zhongxiang Shen; Qiuyang He; Guowei Wei 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 794 KB

Problem-oriented verification system and

Problem-oriented verification system and its application to linear algebra programs

✍ V.A. Nepomniaschy; A.A. Sulimov 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 819 KB

Systolic implementation of higher-order

Systolic implementation of higher-order CMAC and its application in colour calibration

✍ Ker, J.-S.; Kuo, Y.-H.; Liu, B.-D. 📂 Article 📅 1997 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 1010 KB

Two-dimensional adaptive mesh generation

Two-dimensional adaptive mesh generation algorithm and its application with higher-order compressible flow solver

✍ Phongthanapanich, Sutthisak ;Dechaumphai, Pramote 📂 Article 📅 2004 🏛 Springer-Verlag 🌐 Korean ⚖ 1009 KB