Sciweavers

1368 search results - page 54 / 274
» Evaluating Parallel Computing Systems in Bioinformatics
Sort
View
LCPC
1998
Springer
15 years 1 months ago
HPF-2 Support for Dynamic Sparse Computations
There is a class of sparse matrix computations, such as direct solvers of systems of linear equations, that change the fill-in (nonzero entries) of the coefficient matrix, and invo...
Rafael Asenjo, Oscar G. Plata, Juan Touriño...
APSCC
2008
IEEE
14 years 11 months ago
Optimizing the Execution Time of the SLA-based Workflow in the Grid with Parallel Processing Technology
Service Level Agreements (SLAs) is currently one of the major research topics in Grid Computing. Among many system components for the supporting of SLA-aware Gridbased workflow, t...
Dang Minh Quan, Jörn Altmann, Laurence Tianru...
QEST
2008
IEEE
15 years 4 months ago
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan...
HPCN
1998
Springer
15 years 1 months ago
Integration of a Compilation System and a Performance Tool: The HPF+ Approach
Abstract. The performance of HPF codes is in uenced by the characteristics of the parallel system and by the e ciency of the compilation system. Performance analysis has to take in...
Maria Calzarossa, Luisa Massari, Alessandro P. Mer...
IPPS
2006
IEEE
15 years 3 months ago
Performance evaluation of supercomputers using HPCC and IMB benchmarks
The HPC Challenge (HPCC) benchmark suite and the Intel MPI Benchmark (IMB) are used to compare and evaluate the combined performance of processor, memory subsystem and interconnec...
Subhash Saini, Robert Ciotti, Brian T. N. Gunney, ...