3686 search results - page 250 / 738 » Pattern-Based Parallel Programming |
131
click to vote
SNPD
2008
15 years 4 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...
113
click to vote
AC
2002
Springer
15 years 3 months ago
2002
Springer
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...
104
click to vote
IMSCCS
2006
IEEE
15 years 9 months ago
2006
IEEE
Grid computing provides new solutions for numerous complex problems. It is an inevitable trend to implement the distributed parallel computing of large-scale problems with the gri...
113
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Dynamically allocating computing nodes to parallel applications is a promising technique for improving the utilization of cluster resources. We introduce the concept of dynamic ef...
118
click to vote
PPOPP
2003
ACM
15 years 8 months ago
2003
ACM
In this paper, we provide examples of how thread-level speculation (TLS) simplifies manual parallelization and enhances its performance. A number of techniques for manual parallel...