173 search results - page 28 / 35 » Verification of Distributed Hierarchical Components |
ICML
2009
IEEE
14 years 8 months ago
2009
IEEE
Clustering data in high dimensions is believed to be a hard problem in general. A number of efficient clustering algorithms developed in recent years address this problem by proje...
IPPS
2008
IEEE
14 years 1 months ago
2008
IEEE
— When an adaptive software component is employed to select the best-performing implementation for a communication operation at runtime, the correctness of the decision taken str...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
Modern grids have become very complex by their size and their heterogeneity. It makes the deployment and maintenance of systems a difficult task requiring lots of efforts from ad...
ICS
1992
Tsinghua U.
13 years 11 months ago
1992
Tsinghua U.
CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by...
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
We address the design of algorithms for multicores that are oblivious to machine parameters. We propose HM, a multicore model consisting of a parallel shared-memory machine with hi...