561 search results - page 17 / 113 » Multithreaded programming in Cilk |
DAC
1998
ACM
15 years 10 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
60
Voted
SPAA
2004
ACM
15 years 3 months ago
2004
ACM
A key capability of data-race detectors is to determine whether one thread executes logically in parallel with another or whether the threads must operate in series. This paper pr...
IEEEPACT
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents a framework for analyzing the performance of multithreaded programs using a model called a constraint graph. We review previous constraint graph definitions fo...
ISCIS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Every running thread has its own thread context that consists of values of the fields of the target thread object. To consider the thread context in understanding the be...
ICSE
2010
IEEE-ACM
14 years 11 months ago
2010
IEEE-ACM
The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism. Writing correct parallel programs u...