1262 search results - page 53 / 253 » A Container-Iterator Parallel Programming Model |
SNPD
2008
13 years 10 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...
PPSN
2010
Springer
13 years 6 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...
IPPS
2007
IEEE
14 years 3 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...
IPPS
2002
IEEE
14 years 1 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...
DCOSS
2010
Springer
14 years 1 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...