3440 search results - page 655 / 688 » Logics For Context-Free Languages |
226
click to vote
POPL
2009
ACM
16 years 2 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...
215
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
235
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
247
click to vote
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
Although chip-multiprocessors have become the industry standard, developing parallel applications that target them remains a daunting task. Non-determinism, inherent in threaded a...
202
click to vote
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
Even though graphics processors (GPUs) are becoming increasingly popular for general purpose computing, current (and likely near future) generations of GPUs do not provide hardwar...