3500 search results - page 309 / 700 » Implementing Java on Clusters |
102
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
154
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...
102
Voted
SPIN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
FOAL
2009
ACM
15 years 7 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
124
click to vote
JTRES
2009
ACM
15 years 7 months ago
2009
ACM
Large real-time software systems such as real-time Java virtual machines often use barrier protocols, which work for a dynamically varying number of threads without using centrali...