✦ LIBER ✦

An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode

✍ Scribed by Mario Méndez; Jorge Navas; Manuel V. Hermenegildo

Book ID: 108126826
Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 361 KB
Volume: 190
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2007.02.060

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An efficient algorithm for computing a c

An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system

✍ Deepak Kapur; Yao Sun; Dingkang Wang 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 347 KB

An Efficient Algorithm for Spectral Anal

An Efficient Algorithm for Spectral Analysis of Heart Rate Variability

✍ Berger, Ronald D.; Akselrod, Solange; Gordon, David; Cohen, Richard J. 📂 Article 📅 1986 🏛 IEEE 🌐 English ⚖ 925 KB

An efficient marching algorithm for wate

An efficient marching algorithm for waterhammer analysis by the method of characteristics

✍ P. Thanapandi 📂 Article 📅 1992 🏛 Springer Vienna 🌐 English ⚖ 354 KB

An efficient algorithm for analysis of n

An efficient algorithm for analysis of nonlinear heat transfer with phase changes

✍ W. Donald Rolph III; Klaus-JÜRgen Bathe 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 589 KB

An algorithm for the efficient acoustic

An algorithm for the efficient acoustic analysis of silencers of any general geometry

✍ John F. Dowling; Keith S. Peat 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 320 KB

An efficient parallel algorithm for thre

An efficient parallel algorithm for three-dimensional analysis of subsidence above gas reservoirs

✍ B.A. Schrefler; X. Wang; V.A. Salomoni; G. Zuccolo 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 254 KB

In this paper an efficient parallel algorithm to solve a three-dimensional problem of subsidence above exploited gas reservoirs is presented. The parallel program is developed on a cluster of workstations. The parallel virtual machine (PVM) system is used to handle communications among networked wor