150 search results - page 6 / 30 » Testing Concurrent Java Components |
PPOPP
2012
ACM
12 years 4 months ago
2012
ACM
In program debugging, reproducibility of bugs is a key requirement. Unfortunately, bugs in concurrent programs are notoriously difficult to reproduce because bugs due to concurre...
EUROMICRO
2007
IEEE
14 years 2 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
ASIAN
2004
Springer
14 years 1 months ago
2004
Springer
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
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...
HICSS
2000
IEEE
14 years 24 days ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...