9997 search results - page 210 / 2000 » The case for crowd computing |
164
click to vote
ESTIMEDIA
2005
Springer
15 years 10 months ago
2005
Springer
Designing Application-Specific Instruction-set Processors (ASIPs) usually requires designing a custom datapath, and modifying instruction-set, instruction decoder, and compiler. A...
142
click to vote
ICTAC
2005
Springer
15 years 10 months 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...
127
click to vote
PVM
2005
Springer
15 years 10 months 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...
121
click to vote
AMAI
2004
Springer
15 years 10 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...
150
click to vote
AOSE
2004
Springer
15 years 10 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...