496 search results - page 100 / 100 » Practical Reasoning for Very Expressive Description Logics |
POPL
2009
ACM
14 years 6 months ago
2009
ACM
Transactional memory (TM) is a promising paradigm for concurrent programming. Whereas the number of TM implementations is growing, however, little research has been conducted to p...