164 search results - page 29 / 33 » Static Slicing of Threaded Programs |
123
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
131
click to vote
TSE
2010
15 years 10 days ago
2010
—In the past, researchers have developed specialized programs to aid programmers in detecting concurrent programming errors such as deadlocks, livelocks, starvation, and data rac...
108
click to vote
JAVA
1999
Springer
15 years 6 months ago
1999
Springer
As Java technology matures, an increasing number of applications that have traditionally been the domain of languages such as C++ are implemented in Java. Many of these applicatio...
107
click to vote
IPPS
1996
IEEE
15 years 6 months ago
1996
IEEE
We introduce dag consistency, a relaxed consistency model for distributed shared memory which is suitable for multithreaded programming. We have implemented dag consistency in sof...
121
click to vote
IEEEPACT
2005
IEEE
15 years 7 months ago
2005
IEEE
Global address space languages like UPC exhibit high performance and portability on a broad class of shared and distributed memory parallel architectures. The most scalable applic...