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