✦ LIBER ✦

Monitoring Java Programs with Java PathExplorer

✍ Scribed by Klaus Havelund; Grigore Roşu

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 335 KB
Volume: 55
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00253-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Parallel programming with Java

✍ Mark Baker 📂 Article 📅 2000 🏛 John Wiley and Sons ⚖ 110 KB

Java-MaC: A Run-time Assurance Tool for

Java-MaC: A Run-time Assurance Tool for Java Programs

✍ M. Kim; S. Kannan; I. Lee; O. Sokolsky; M. Viswanathan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 341 KB

Compiling almost-whole Java programs

✍ Zoran Budimlić; Ken Kennedy 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 180 KB

SPMD programming in Java

✍ Hummel, Susan Flynn; Ngo, Ton; Srinivasan, Harini 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 83 KB 👁 1 views

We consider the suitability of the Java concurrent constructs for writing high-performance SPMD code for parallel machines. More specifically, we investigate implementing a financial application in Java on a distributed-memory parallel machine. Despite the fact that Java was not expressly targeted t

Framework for testing multi-threaded Jav

Framework for testing multi-threaded Java programs

✍ Orit Edelstein; Eitan Farchi; Evgeny Goldin; Yarden Nir; Gil Ratsaby; Shmuel Ur 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 162 KB

Special issue: formal techniques for Jav

Special issue: formal techniques for Java programs

✍ Susan Eisenbach; Gary T. Leavens 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 55 KB