Sciweavers

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

9

CONCURRENCY
2006

favoriteEmaildiscussreport

77views more CONCURRENCY 2006»

Revocation techniques for Java concurrency

13 years 4 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)