121 search results - page 25 / 25 » Efficient algorithms for verifying memory consistency |
147
Voted
CONCURRENCY
2002
15 years 3 months ago
2002
Practical applications are generally interdisciplinary in nature. The technology is well matured for addressing individual discipline applications and not for interdisciplinary ap...