152 search results - page 31 / 31 » Operational Semantics of an Imperative Language in Definite ... |
PPOPP
2009
ACM
14 years 6 months ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
DOLAP
2010
ACM
13 years 3 months ago
2010
ACM
Inter-business collaborative contexts prefigure a distributed scenario where companies organize and coordinate themselves to develop common and shared opportunities. Traditional b...