67 search results - page 14 / 14 » Verifying safety properties of concurrent Java programs usin... |
POPL
2009
ACM
14 years 5 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...
ECBS
1996
IEEE
13 years 8 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...