3690 search results - page 444 / 738 » Computation with classical sequents |
178
click to vote
PPOPP
2010
ACM
16 years 4 months ago
2010
ACM
We present a performance model-driven framework for automated performance tuning (autotuning) of sparse matrix-vector multiply (SpMV) on systems accelerated by graphics processing...
143
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
Providing distributed processes with concurrent objects is a fundamental service that has to be offered by any distributed system. The classical shared read/write register is one ...
175
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Emerging VLSI technologies and platforms are giving rise to systems with inherently high potential for runtime failure. Such failures range from intermittent electrical and mechan...
145
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
Open content communities such as wikis derive their value from the work done by users. However, a key challenge is to elicit work that is sufficient and focused where needed. We ...
174
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Pictorial structure (PS) models are extensively used for part-based recognition of scenes, people, animals and multi-part objects. To achieve tractability, the structure and param...