Sciweavers

336 search results - page 1 / 68
» Task-Queue Based Hybrid Parallelism: A Case Study
Sort
View
EUROPAR
2004
Springer
13 years 10 months ago
Task-Queue Based Hybrid Parallelism: A Case Study
Abstract. In this paper we report on our experiences with hybrid parallelism in PARDISO, a high-performance sparse linear solver. We start with the OpenMP-parallel numerical factor...
Karl Fürlinger, Olaf Schenk, Michael Hagemann
WSC
1998
13 years 5 months ago
Building Parallel Time-Constrained HLA Federates: A Case Study with the Parsec Parallel Simulation Language
Based on the DIS result, the HLA framework has been defined to achieve interoperability of independent simulators. Concurrently, and for the most part, independent of that effort,...
CongDuc Pham, Rajive Bagrodia
TSE
2010
136views more  TSE 2010»
13 years 2 months ago
A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search
Search based optimization techniques have been applied to structural software test data generation since 1992, with a recent upsurge in interest and activity within this area. How...
Mark Harman, Phil McMinn
ENTCS
2008
102views more  ENTCS 2008»
13 years 4 months ago
A Case Study in Parallel Verification of Component-Based Systems
Nikola Benes, Ivana Cerná, Jiri Sochor, Pav...
ISCI
2002
130views more  ISCI 2002»
13 years 4 months ago
A study of object declustering strategies in parallel temporal object database systems
In a transaction-time temporal object database management system (TODBMS), updating an object creates a new version of the object, but the old version is still accessible. A TODBM...
Kjetil Nørvåg