3656 search results - page 18 / 732 » Parallel programming in Split-C |
ESOP
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...
EUROPAR
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Parallel program design patterns provide users a new way to get parallel programs without much effort. However, it is always a serious limitation for most existing parall...
IWOMP
2007
Springer
14 years 4 months ago
2007
Springer
ICLP
2005
Springer
14 years 3 months ago
2005
Springer
PLDI
2010
ACM
14 years 2 months ago
2010
ACM
