✦ LIBER ✦

Some methods of automatic analysis and controllable transformation of programs

✍ Scribed by M. A. Potapov; E. A. Shatokhin

Book ID: 110152793
Publisher: SP MAIK Nauka/Interperiodica
Year: 2008
Tongue: English
Weight: 213 KB
Volume: 69
Category: Article
ISSN: 0005-1179
DOI: 10.1134/s0005117908080158

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Power System Stability as Affected by Au

Power System Stability as Affected by Automatic Control of Generators-Some Methods of Analysis and Synthesis

✍ Venikov, V.A.; Stroev, V.A. 📂 Article 📅 1971 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 901 KB

Stability analysis on automatic control

Stability analysis on automatic control methods of open canal

✍ Xiaobo Feng; Kang Wang 📂 Article 📅 2011 🏛 Wuhan University 🌐 English ⚖ 445 KB

Transformation methods and tools for des

Transformation methods and tools for design of efficient and reliable programs

✍ V. N. Kas'yanov 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 785 KB

Special issue: synthesis, transformation

Special issue: synthesis, transformation and analysis of logic programs

✍ Annalisa Bossi; Yves Deville 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 157 KB

Image analysis and automatic classificat

Image analysis and automatic classification of transformed foci

✍ C. URANI; F.M. STEFANINI; L. BUSSINELLI; P. MELCHIORETTO; G.F. CROSTA 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 836 KB

Some methods of controlling the tree sea

Some methods of controlling the tree search in chess programs

✍ G.M. Adelson-Velskiy; V.L. Arlazarov; M.V. Donskoy 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 982 KB

This paper describes several tree search methods that have been implemented in our chess playing program (KAISSA) and some perspectives on this domain. The most general and most flexible method of program organization is exhaustive search with cutoffs. Therefore our program is based on searching exh