2466 search results - page 17 / 494 » Concurrent Clustered Programming |
143
Voted
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
136
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Traditional data-oriented programming languages such as dataflow s and stream languages provide a natural abstraction for parallel programming. In these languages, a developer fo...
131
Voted
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
118
Voted
SIGADA
1999
Springer
15 years 10 months ago
1999
Springer