720 search results - page 120 / 144 » Uniform Memory Hierarchies |
109
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
131
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
Sparse matrix-vector multiplication (SpMV) is of singular importance in sparse linear algebra. In contrast to the uniform regularity of dense linear algebra, sparse operations enc...
143
click to vote
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Record and Replay (RR) is a software based state replication solution designed to support recording and subsequent replay of the execution of unmodified applications running on mu...
151
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Tournament selection is the most frequently used form of selection in genetic programming (GP). Tournament selection chooses individuals uniformly at random from the population. A...
112
click to vote
LCPC
2001
Springer
15 years 8 months ago
2001
Springer
This paper deals with the problem of statically inferring the shape of an array in languages such as MATLAB. Inferring an array’s shape is desirable because it empowers better co...