561 search results - page 5 / 113 » Multithreaded programming in Cilk |
CAV
2012
Springer
13 years 2 days ago
2012
Springer
Abstract. We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., ...
IBMRD
2010
14 years 4 months ago
2010
SIGCSE
2000
ACM
15 years 2 months ago
2000
ACM
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...
JAVA
2000
Springer
15 years 1 months ago
2000
Springer
This paper describes the design, implementation, and performance of a Java framework for supporting a style of parallel programming in which problems are solved by (recursively) s...
114
click to vote
ICDCS
1997
IEEE
15 years 1 months ago
1997
IEEE
This paper evaluates the use of per-node multi-threading to hide remote memory and synchronization latencies in a software DSM. As with hardware systems, multi-threading in softwa...