Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

25

CONCURRENCY
2006

favoriteEmaildiscussreport

77views more CONCURRENCY 2006»

Revocation techniques for Java concurrency

13 years 10 months ago

Revocation techniques for Java concurrency

Download www.cs.purdue.edu

er proposes two approaches to managing concurrency in Java using a guarded region abstraction. Both approaches use revocation of such regions

Adam Welc, Suresh Jagannathan, Antony L. Hosking

Real-time Traffic

CONCURRENCY 2006 | Java | Mutual Exclusion | Revocable Monitors |

claim paper

Related Content

» Simple verification technique for complex Java bytecode subroutines

» Pseudonymous PKI for Ubiquitous Computing

» Safe futures for Java

» Revocable locks for nonblocking programming

» Static Analysis for Understanding Shared Objects in Open Concurrent Java Programs

» Fully automatic and precise detection of thread safety violations

» JaVis A UMLBased Visualization and Debugging Environment for Concurrent Java Programs

» PlatformSpecific Restrictions on Concurrency in Model Checking of Java Programs

» CUTE and jCUTE Concolic Unit Testing and Explicit Path ModelChecking Tools

Post Info
More Details (n/a)

Added	11 Dec 2010
Updated	11 Dec 2010
Type	Journal
Year	2006
Where	CONCURRENCY
Authors	Adam Welc, Suresh Jagannathan, Antony L. Hosking

Comments (0)