2911 search results - page 370 / 583 » A Theory of Expressiveness in Mechanisms |
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
121
click to vote
POPL
2010
ACM
15 years 8 months ago
2010
ACM
Message-passing is an attractive thread coordination mechanism because it cleanly delineates points in an execution when threads communicate, and unifies synchronization and comm...
DOCENG
2007
ACM
15 years 5 months ago
2007
ACM
Genre, like layout, is an important factor in effective communication, and automated tools which assist in genre compliance are thus of considerable value. Genres are reusable met...
126
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Modeling cancer-related regulatory modules from gene expression profiling of cancer tissues is expected to contribute to our understanding of cancer biology as well as...
137
Voted
IEEEPACT
2009
IEEE
14 years 11 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...