121 search results - page 25 / 25 » Efficient algorithms for verifying memory consistency |
CONCURRENCY
2002
13 years 6 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...