2466 search results - page 17 / 494 » Concurrent Clustered Programming |
101
click to vote
VMCAI
2010
Springer
15 years 11 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...
89
Voted
PLDI
2010
ACM
15 years 7 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...
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
SIGADA
1999
Springer
15 years 6 months ago
1999
Springer