5384 search results - page 878 / 1077 » Open Standards Requirements |
218
click to vote
PVM
2010
Springer
15 years 5 months ago
2010
Springer
Parallel programming models on large-scale systems require a scalable system for managing the processes that make up the execution of a parallel program. The process-management sys...
201
click to vote
SAT
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...
196
click to vote
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...
197
click to vote
SIAMSC
2010
15 years 5 months ago
2010
Frequently, the computation of derivatives for optimizing time-dependent problems is based on the integration of the adjoint differential equation. For this purpose, the knowledge...
204
click to vote
SPIRE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We consider fingerprinting methods for collaborative filtering (CF) systems. In general, CF systems show their real strength when supplied with enormous data sets. Earl...