9716 search results - page 176 / 1944 » The Case for Energy-Proportional Computing |
172
click to vote
ICTAC
2005
Springer
16 years 2 days ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
161
click to vote
PVM
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. The Fortran language has evolved substantially from the Fortran 77 bindings defined in the MPI-1 (Message Passing Interface) standard. Fortran 90 introduced interface bl...
153
click to vote
AMAI
2004
Springer
15 years 12 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
188
click to vote
AOSE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The agent-oriented approach has been successfully applied to the solution of complex problems in dynamic open environments. However, to extend its use to mainstream compu...
172
click to vote
IPTPS
2004
Springer
15 years 12 months ago
2004
Springer
Popular P2P file-sharing systems like Gnutella and Kazaa use unstructured network designs. These networks typically adopt flooding-based search techniques to locate files. Whil...