1760 search results - page 266 / 352 » A System to Mark Programs Automatically |
126
Voted
ICS
2009
Tsinghua U.
15 years 10 months ago
2009
Tsinghua U.
The Cell BE is a multicore processor with eight vector accelerators (called SPEs) that implement explicit cache management through direct memory access engines. While the Cell has...
116
click to vote
IISWC
2009
IEEE
15 years 10 months ago
2009
IEEE
—Communication traces are integral to performance modeling and analysis of parallel programs. However, execution on a large number of nodes results in a large trace volume that i...
140
click to vote
EUROPAR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Prefetching transfers a data item in advance from its storage location to its usage location so that communication is hidden and does not delay computation. We present a ...
125
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes our procedure and a software application for conducting large parameter sweep experiments in genetic and evolutionary computation research. Both procedure and...
136
Voted
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...