3436 search results - page 447 / 688 » Software Tools for Performance Modeling of Parallel Programs |
120
click to vote
USS
2008
15 years 4 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...
162
click to vote
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...
106
click to vote
ASPLOS
1991
ACM
15 years 5 months ago
1991
ACM
Multiprocessor memory reference traces provide a wealth of information on the behavior of parallel programs. We have used this information to explore the relationship between kern...
108
Voted
EUROPAR
2003
Springer
15 years 7 months ago
2003
Springer
In this paper, a two-dimensional airfoil shape optimisation problem is investigated using CFD within a grid computing environment (GCE) implemented in Matlab. The feature-based par...
143
click to vote
IJHPCA
2011
14 years 9 months ago
2011
Over the last twenty years, the open source community has provided more and more software on which the world’s High Performance Computing (HPC) systems depend for performance ...