3436 search results - page 173 / 688 » Software Tools for Performance Modeling of Parallel Programs |
134
click to vote
EUROPAR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper is motivated by the desire to provide an efficient and scalable software cache implementation of OpenMP on multicore and manycore architectures in general, and...
116
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
126
click to vote
IPCCC
2007
IEEE
15 years 8 months ago
2007
IEEE
Tuning the performance of applications requires understanding the interactions between code and target architecture. This paper describes a performance modeling approach that not ...
126
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
FSTTCS
1990
Springer
15 years 6 months ago
1990
Springer
We show that selection on an input of size N can be performed on a P-node hypercube (P = N/(log N)) in time O(N/P) with high probability, provided each node can process all the in...