10870 search results - page 2042 / 2174 » Model Checking Programs |
119
click to vote
EUROPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Performance of the on-chip cache is critical for processor. The multithread program model usually employed by on-chip many-core architectures may have effects on cache ac...
113
Voted
HPDC
2010
IEEE
15 years 2 months ago
2010
IEEE
Hadoop is a reference software framework supporting the Map/Reduce programming model. It relies on the Hadoop Distributed File System (HDFS) as its primary storage system. Althoug...
112
click to vote
ICML
2010
IEEE
15 years 2 months ago
2010
IEEE
We consider the problem of how to improve the efficiency of Multiple Kernel Learning (MKL). In literature, MKL is often solved by an alternating approach: (1) the minimization of ...
121
click to vote
Publication
We present a pose estimation method for rigid
objects from single range images. Using 3D models of the
objects, many pose hypotheses are compared in a data-parallel
version of t...
132
click to vote
ISLPED
2010
ACM
15 years 1 months ago
2010
ACM
We have developed a system architecture, measuring and modeling techniques, and algorithms for on-line power and energy optimization and thermal management. The starting point for...