Sciweavers

3656 search results - page 18 / 732
» Parallel programming in Split-C
Sort
View
148
Voted
ESOP
2009
Springer
16 years 1 months ago
Automatic Parallelization with Separation Logic
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...
Mohammad Raza, Cristiano Calcagno, Philippa Gardne...
EUROPAR
2004
Springer
15 years 11 months ago
A Generic Parallel Pattern-Based System for Bioinformatics
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...
Weiguo Liu, Bertil Schmidt
IWOMP
2007
Springer
16 years 14 days ago
Web Service Call Parallelization Using OpenMP
Sébastien Salva, Clément Delamare, C...
124
Voted
PLDI
2010
ACM
15 years 11 months ago
Safe programmable speculative parallelism
Prakash Prabhu, Ganesan Ramalingam, Kapil Vaswani