✦ LIBER ✦

Stack size analysis for interrupt-driven programs

✍ Scribed by Krishnendu Chatterjee; Di Ma; Rupak Majumdar; Tian Zhao; Thomas A. Henzinger; Jens Palsberg

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A computer program for the calculation o

✍ S. Buchan; A. Jones; P. Simpkin 📂 Article 📅 1970 🏛 Elsevier Science 🌐 English ⚖ 247 KB

An Interactive Windows Program for Profi

✍ Krumm, S. 📂 Article 📅 1996 🏛 Trans Tech Publications, Ltd. 🌐 English ⚖ 770 KB

A FORTRAN program for grain-size trend a

✍ Shu Gao 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 550 KB

A BURET CYLINDER FOR GRAIN-SIZE ANALYSIS

✍ F. FABRICIUS; ST. MÜLLER 📂 Article 📅 1970 🏛 John Wiley and Sons 🌐 English ⚖ 541 KB

Critical radius for bias-driven swelling

✍ A Hishinuma; L.K Mansur 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 920 KB

A unified mathematical programming formu

✍ G. Garcea; L. Leonetti 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 726 KB