6939 search results - page 980 / 1388 » Algorithm Engineering for Parallel Computation |
179
click to vote
ESCIENCE
2007
IEEE
16 years 20 days ago
2007
IEEE
One of the objectives of e-Research is to help scientists to accomplish their research, including scientific experiments, more effectively and efficiently. Web services provide ...
170
Voted
HPDC
2007
IEEE
16 years 20 days ago
2007
IEEE
The resource availability in Grids is generally unpredictable due to the autonomous and shared nature of the Grid resources and stochastic nature of the workload resulting in a be...
143
click to vote
ICDCS
2007
IEEE
16 years 19 days ago
2007
IEEE
This paper presents the design, implementation, and evaluation of EnviroMic, a novel distributed acoustic monitoring, storage, and trace retrieval system. Audio represents one of ...
159
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
16 years 19 days ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
168
click to vote
ICDCS
2007
IEEE
16 years 19 days ago
2007
IEEE
Uniform random sample is often useful in analyzing data. Usually taking a uniform sample is not a problem if the entire data resides in one location. However, if the data is distr...