✦ LIBER ✦

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

✍ Scribed by M. Kim; S. Kannan; I. Lee; O. Sokolsky; M. Viswanathan

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

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A deadlock detection tool for concurrent

A deadlock detection tool for concurrent Java programs

✍ Claudio Demartini; Radu Iosif; Riccardo Sisto 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 160 KB 👁 2 views

This paper presents some issues related to the design and implementation of a concurrency analysis tool able to detect deadlock situations in Java programs that make use of multithreading mechanisms. An abstract formal model is generated from the Java source using the Java2Spin translator. The model

Run-time optimizations for a Java DSM im

Run-time optimizations for a Java DSM implementation

✍ R. Veldema; R. F. H. Hofman; R. A. F. Bhoedjang; H. E. Bal 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 208 KB

## Abstract Jackal is a fine‐grained distributed shared memory implementation of the Java programming language. Jackal implements Java's memory model and allows multithreaded Java programs to run unmodified on distributed‐memory systems. This paper focuses on Jackal's run‐time system, which implem