16883 search results - page 3029 / 3377 » Generalized Non-Reducible Descriptors |
198
click to vote
PLDI
2004
ACM
16 years 5 days ago
2004
ACM
e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...
239
click to vote
PLDI
2004
ACM
16 years 5 days ago
2004
ACM
With billion-transistor chips on the horizon, single-chip multiprocessors (CMPs) are likely to become commodity components. Speculative CMPs use hardware to enforce dependence, al...
178
click to vote
PLDI
2004
ACM
16 years 5 days ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
209
click to vote
PLDI
2004
ACM
16 years 5 days ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
219
click to vote
PLDI
2004
ACM
16 years 5 days ago
2004
ACM
This paper presents the first scalable context-sensitive, inclusionbased pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a m...