✦ LIBER ✦

Application of if-conversion to verification and optimization of workflows

✍ Scribed by A. A. Kalenkova

Book ID: 110190990
Publisher: SP MAIK Nauka/Interperiodica
Year: 2010
Tongue: English
Weight: 282 KB
Volume: 36
Category: Article
ISSN: 0361-7688
DOI: 10.1134/s0361768810050038

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The interplay of resource provisioning a

The interplay of resource provisioning and workflow optimization in scientific applications

✍ Gurmeet Singh; Ewa Deelman 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 466 KB

Dynamic power optimization of active fil

Dynamic power optimization of active filters with application to zero-IF receivers

✍ Ozgun, M.T.; Tsividis, Y.; Burra, G. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 990 KB

Application of micro-electronics to IF a

Application of micro-electronics to IF amplifiers

✍ Robertson, J.J.; Hirschfeld, R.A. 📂 Article 📅 1965 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 726 KB

Application of Modal Logics to the Speci

Application of Modal Logics to the Specification and Verification of Programs

✍ V. B. Popov; A. S. Anafiev 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 30 KB

Biomass conversion factors for tree spec

Biomass conversion factors for tree species and verification of applicability for national factors in Korea

✍ Hyun Kim, Hyun-Jun Kim, Kyeong-Hak Lee, Young-Mo Son, Kwang-Soo Lee, Sang-Hyun L 📂 Article 📅 2011 🏛 The Korean Society for Applied Biological Chemistr 🌐 English ⚖ 210 KB

Application and verification of fuzzy al

Application and verification of fuzzy algebraic operators to landslide susceptibility mapping

✍ Saro Lee 📂 Article 📅 2006 🏛 Springer ⚖ 722 KB