5159 search results - page 602 / 1032 » Structural Testing of Executables |
206
click to vote
CGO
2010
IEEE
15 years 12 months ago
2010
IEEE
In this paper we describe techniques for compiling finegrained SPMD-threaded programs, expressed in programming models such as OpenCL or CUDA, to multicore execution platforms. Pr...
204
Voted
ICSE
1999
IEEE-ACM
15 years 12 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
214
click to vote
IDA
1999
Springer
15 years 12 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
201
click to vote
ICDCS
1998
IEEE
15 years 12 months ago
1998
IEEE
We introduce a new performance metric, called Load Balancing Factor (LBF), to assist programmers with evaluating different tuning alternatives. The LBF metric differs from traditi...
196
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Predicting the running time of a parallel program is useful for determining the optimal values for the parameters of the implementation and the optimal mapping of data on processo...