✦ LIBER ✦

A formal model of a system for automated program parallelization

✍ Scribed by V. A. Vasenin; A. N. Vodomerov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal system for parallel programs in

✍ Hiroya Kawai 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 679 KB

Formal set definition system as a tool o

✍ R. M. Nuriev 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 597 KB

A model for recursive-parallel programs

✍ Olga Kouchnarenko; Ph. Schnoebelen 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 31 KB

Formal Model of an Automated System for

✍ V. M. Akhutin; V. V. Shapovalov 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 108 KB

The formal development of a parallel pro

✍ Johannes G. G. van de Vorst 📂 Article 📅 1988 🏛 Springer-Verlag 🌐 English ⚖ 786 KB

An ASM-based Formal Model of a Java Prog

✍ A. Zamulin 📂 Article 📅 2003 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 86 KB