✦ LIBER ✦

A static analyzer for finding dynamic programming errors

✍ Scribed by William R. Bush; Jonathan D. Pincus; David J. Sielaff

Publisher: John Wiley and Sons
Year: 2000
Tongue: English
Weight: 167 KB
Volume: 30
Category: Article
ISSN: 0038-0644
DOI: 10.1002/(sici)1097-024x(200006)30:7<775::aid-spe309>3.0.co;2-h

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Static and dynamic approaches for analyz

Static and dynamic approaches for analyzing voltage stability

✍ X. Lei; D. Retzmann 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 219 KB 👁 1 views

Dynamic linear programming models for li

Dynamic linear programming models for livestock farms

✍ A. Propoi 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 481 KB 👁 2 views

This paper considers the dynamic linear programming model for multispecies livestock farming with a feed production subsystem. The problem is to determine the optimal livestock mix with the projected growth rate and corresponding development of feed production in order to obtain the maximum profit

A parallel algorithm for static slicing

A parallel algorithm for static slicing of concurrent programs

✍ D. Goswami; R. Mall 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 195 KB

σ-Bond Stretching: A Static Approach for

σ-Bond Stretching: A Static Approach for a Dynamic Process

✍ David Scheschkewitz; Hideki Amii; Heinz Gornitzka; Wolfgang W. Schoeller; Didier 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 137 KB

σ-Bond Stretching: A Static Approach for

σ-Bond Stretching: A Static Approach for a Dynamic Process

✍ David Scheschkewitz; Hideki Amii; Heinz Gornitzka; Wolfgang W. Schoeller; Didier 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 137 KB

A dynamic stress analyzer for microelect

A dynamic stress analyzer for microelectromechanical systems (MEMS) based on Raman spectroscopy

✍ Chenyang Xue; Lina Zheng; Wendong Zhang; Binzhen Zhang; Aoqun Jian 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 116 KB