1499 search results - page 79 / 300 » Chopping Concurrent Programs |
102
click to vote
SNPD
2008
15 years 2 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
80
Voted
SIGCSE
2008
ACM
15 years 16 days ago
2008
ACM
Pipeline, Delta, and Black Hole are three simple patterns used in concurrent software design. We recently presented these and other patterns for parallelism at a nine-hour worksho...
127
click to vote
IEEEPACT
2009
IEEE
14 years 10 months ago
2009
IEEE
Transactional memory is being advanced as an alternative to traditional lock-based synchronization for concurrent programming. Transactional memory simplifies the programming mode...
105
click to vote
IWPC
2007
IEEE
15 years 7 months ago
2007
IEEE
Programs that use multi-threaded concurrency are known to be difficult to design. Moreover, research in computer-science education suggests that concurrency and synchronization co...
101
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...