28821 search results - page 5502 / 5765 » Distributed and parallel systems |
200
click to vote
AAECC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present new performance models and a new, more compact data structure for cache blocking when applied to the sparse matrixvector multiply (SpM×V) operation, y ← y +...
170
click to vote
ASE
2008
15 years 6 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
150
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
The interrelationship between control and communication theory is becoming of fundamental importance in many distributed control systems, such as the coordination of a team of aut...
193
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Mass spectrometry is an essential technique in proteomics both to identify the proteins of a biological sample and to compare proteomic profiles of different samples. ...
198
click to vote
CG
2010
Springer
15 years 6 months ago
2010
Springer
We address the problem of fast, large scale sketch-based image retrieval, searching in a database of over one million images. We show that current retrieval methods do not scale w...