9997 search results - page 210 / 2000 » The case for crowd computing |
214
Voted
ESTIMEDIA
2005
Springer
16 years 19 days 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...
199
click to vote
ICTAC
2005
Springer
16 years 18 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...
182
click to vote
PVM
2005
Springer
16 years 18 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...
172
click to vote
AMAI
2004
Springer
16 years 15 days 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...
209
Voted
AOSE
2004
Springer
16 years 15 days 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...