283 search results - page 39 / 57 » Effective Program Verification for Relaxed Memory Models |
117
click to vote
IEEEPACT
2009
IEEE
14 years 9 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...
HIPS
1997
IEEE
15 years 3 months ago
1997
IEEE
Several parallel programming languages, libraries and environments have been developed to ease the task of writing programs for multiprocessors. Proponents of each approach often ...
102
click to vote
SIGCOMM
2010
ACM
14 years 12 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
113
click to vote
CORR
2008
Springer
14 years 11 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
103
click to vote
CCGRID
2002
IEEE
15 years 4 months ago
2002
IEEE
Despite the large research efforts in the SW–DSM community, this technology has not yet been adapted widely for significant codes beyond benchmark suites. One of the reasons co...