7195 search results - page 784 / 1439 » On Computing Power |
201
click to vote
FGIT
2009
Springer
16 years 1 months ago
2009
Springer
GRID environments are privileged targets for computation-intensive problem solving in areas from weather forecasting to seismic analysis. Mainly composed by commodity hardware, th...
195
click to vote
IWIC
2007
Springer
16 years 1 months ago
2007
Springer
Parallel corpora encode extremely valuable linguistic knowledge, the revealing of which is facilitated by the recent advances in multilingual corpus linguistics. The linguistic dec...
257
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
198
Voted
SERA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract—With the growing complexity of software applications, there is an increasing demand for solutions to distribute workload into server pools. Grid Computing provides power...
153
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
- Parallel architectures have become an increasingly popular method in which to achieve high performance with low power consumption. In order to leverage these benefits, applicatio...