5235 search results - page 123 / 1047 » Analysis of Multithreaded Programs |
126
click to vote
CSSE
2008
IEEE
15 years 3 months ago
2008
IEEE
Both teaching and learning multithreaded ing are complex tasks, due to the abstraction of the concepts, the non-determinism of the scheduler, the impossibility of using classical s...
109
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
146
click to vote
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
There is building interest in using FPGAs as accelerators for high-performance computing, but existing systems for programming them are so far inadequate. In this paper we propose...
129
click to vote
CACM
2010
14 years 11 months ago
2010
We present Goldilocks, a Java runtime that monitors program executions and throws a DataRaceException when a data race is about to occur. This prevents racy accesses from taking p...
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
Analyzing a program run can provide important insights about its correctness. Dynamic analysis of complex correctness properties, however, usually results in significant run-time ...