608 search results - page 31 / 122 » An Experimental Validation of the PRO Model for Parallel and... |
PAAPP
2002
13 years 7 months ago
2002
Applications involving large sparse nonsymmetric linear systems encourage parallel implementations of robust iterative solution methods, such as GMRES(k). Two parallel versions of...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
IPPS
2000
IEEE
13 years 12 months ago
2000
IEEE
This paper presents experimental results for a parallel pipeline STAP system with I/O task implementation using the parallel file systems on the Intel Paragon and the IBM SP. In ...
IPPS
1999
IEEE
13 years 11 months ago
1999
IEEE
In this study, we introduce an evaluation methodology for advanced memory systems. This methodology is based on statistical factorial analysis. It is two fold: it first determines...
IPPS
2008
IEEE
14 years 1 months ago
2008
IEEE
Although a significant amount of effort has been directed at discovering attacks against anonymity communication networks and developing countermeasures to those attacks, there i...