9716 search results - page 332 / 1944 » The Case for Energy-Proportional Computing |
150
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
A survey of results for the problems of selection, mergingand sorting in the Randomized Parallel Comparison Tree RPCT model is given. The results indicate that while randomization ...
193
click to vote
DSVIS
1998
Springer
15 years 11 months ago
1998
Springer
: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It
209
click to vote
ICCS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...
153
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
We address the problem of minimal-change integrity maintenance in the context of integrity constraints in relational databases. We assume that integrity-restoration actions are li...
162
click to vote
RC
2002
15 years 6 months ago
2002
Given an approximate solution to a nonlinear system of equations at which the Jacobi matrix is nonsingular, and given that the Jacobi matrix is continuous in a region about this ap...