✦ LIBER ✦

Termination Analysis of Sequential Program Based on Graph

✍ Scribed by Yin Jie; Yu Dan; Ye Gang; Ma Shilong

Book ID: 119356754
Publisher: Elsevier
Year: 2012
Tongue: English
Weight: 355 KB
Volume: 29
Category: Article
ISSN: 1877-7058
DOI: 10.1016/j.proeng.2012.01.251

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Performance analysis of parallel program

Performance analysis of parallel programs based on directed acyclic graphs

✍ Georg Trogemann; Matthias Gente 📂 Article 📅 1997 🏛 Springer-Verlag 🌐 English ⚖ 293 KB

On frequency analysis of sequential prog

On frequency analysis of sequential program code execution

✍ R. L. Smelyanskiy 📂 Article 📅 2011 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 198 KB

On sequential labelings of graphs

✍ Thom Grace 📂 Article 📅 1983 🏛 John Wiley and Sons 🌐 English ⚖ 276 KB

A valuation on a simple graph G IS an assignment of labels to the vertices of G which induces an assignment of labels to the edges of G. pvaluations, also called graceful labelings, and a-valuations, a subclass of graceful labelings, have an extensive literature; harmonious labelings have been intro

On the sequential nature of interprocedu

On the sequential nature of interprocedural program-analysis problems

✍ Thomas Reps 📂 Article 📅 1996 🏛 Springer-Verlag 🌐 English ⚖ 749 KB

On the termination of program schemas

✍ A.J. Kfoury; D.M.R. Park 📂 Article 📅 1975 🏛 Elsevier Science ⚖ 381 KB

A cluster analysis based on graph theory

✍ Groenewoud, H. ;Ihm, P. 📂 Article 📅 1974 🏛 Springer-Verlag 🌐 English ⚖ 539 KB