471 search results - page 1 / 95 » Automatic Mutual Exclusion |
POPL
2008
ACM
14 years 4 months ago
2008
ACM
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
HOTOS
2007
IEEE
13 years 8 months ago
2007
IEEE
We propose a new concurrent programming model, Automatic Mutual Exclusion (AME). In contrast to lock-based programming, and to other programming models built over software transac...
PODC
2003
ACM
13 years 9 months ago
2003
ACM
We present a methodology for automatic discovery of synchronization algorithms. We built a tool and used it to automatically discover hundreds of new algorithms for the well-known ...
BIRTHDAY
2008
Springer
13 years 6 months ago
2008
Springer
BMCBI
2011
12 years 8 months ago
2011
Background: Alternative splicing of pre-mature RNA is an important process eukaryotes utilize to increase their repertoire of different protein products. Several types of differen...