107 search results - page 4 / 22 » Software speculative multithreading for Java |
ASWEC
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
PLDI
2006
ACM
14 years 2 months ago
2006
ACM
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pa...
CSREAESA
2006
13 years 10 months ago
2006
The performance of software executed on a microprocessor is adversely affected by the basic fetchexecute cycle. A further performance penalty results from the load-execute-store p...
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
—Writing correct multithreaded programs is difficult. Existing tools for finding bugs in multithreaded programs primarily focus on finding generic concurrency problems such as...
EUROMICRO
1999
IEEE
14 years 28 days ago
1999
IEEE
The Komodo project concerns the handling of multiple real-time events by Java threads that are supported by a multithreaded Java microcontroller. The architecture of the processor...