212 search results - page 39 / 43 » Towards a Pervasive Computing Benchmark |
92
Voted
SPIN
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
119
Voted
HPDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Today Graphics Processing Units (GPUs) are a largely underexploited resource on existing desktops and a possible costeffective enhancement to high-performance systems. To date, mo...
113
Voted
SC
2000
ACM
15 years 4 months ago
2000
ACM
The current trend in HPC hardware is towards clusters of shared-memory (SMP) compute nodes. For applications developers the major question is how best to program these SMP cluster...
130
click to vote
CVPR
2009
IEEE
16 years 6 months ago
2009
IEEE
In this paper we present a novel face classification system
where we represent face images as a spatial arrangement
of image patches, and seek a smooth non-linear functional
map...
HPCA
2008
IEEE
15 years 12 months ago
2008
IEEE
The trend towards integrating multiple cores on the same die has accentuated the need for larger on-chip caches. Such large caches are constructed as a multitude of smaller cache ...