5330 search results - page 32 / 1066 » The Performability Tool P'ility |
134
click to vote
PPOPP
2006
ACM
15 years 7 months ago
2006
ACM
Performance analysis tools are critical for the effective use of large parallel computing resources, but existing tools have failed to address three problems that limit their scal...
104
click to vote
CC
2006
Springer
15 years 3 months ago
2006
Springer
The CGiS programming language is designed to open up the parallel performance possibilities of graphics processing units (GPUs) to general purpose programmers. This tool demonstrat...
ENTCS
2010
15 years 2 months ago
2010
We report on the implementation and experimental analysis of an incremental multi-pass tableau-based procedure `a la Wolper for testing satisfiability in the linear time temporal ...
111
click to vote
CN
2006
15 years 1 months ago
2006
As the Internet grows in scale and complexity, the need for accurate traffic measurement increases. Among the different parameters relevant to traffic measurement, the paper pays ...
158
Voted
ICS
2011
Tsinghua U.
14 years 5 months ago
2011
Tsinghua U.
Suppose one is considering purchase of a computer equipped with accelerators. Or suppose one has access to such a computer and is considering porting code to take advantage of the...