1262 search results - page 53 / 253 » A Container-Iterator Parallel Programming Model |
147
Voted
SNPD
2008
15 years 6 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
178
Voted
PPSN
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We introduce, analyze, and experimentally examine co-solvability, an ability of a solution to solve a pair of fitness cases (tests). Based on this concept, we devise a co...
138
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
OpenMP has emerged as an important model and language extension for shared-memory parallel programming. On shared-memory platforms, OpenMP offers an intuitive, incremental approac...
151
Voted
IPPS
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper presents preliminary efforts to develop compilation and execution environments that achieve performance portability of multilevel parallelization on hierarchical archit...
132
Voted
DCOSS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The success of high-level programming models in Wireless Sensor Networks (WSNs) is heavily dependent on factors such as ease of programming, code well-structuring, degree...