3436 search results - page 91 / 688 » Software Tools for Performance Modeling of Parallel Programs |
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
COMPSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Software firms are increasingly distributing their software development effort across multiple locations. In this paper we present the results of a two year field study that inves...
JAL
2008
13 years 9 months ago
2008
Abstract. In the last few years, the microprocessors technologies have been definitely moving to multi-core architectures, in order to improve performances as well as reduce power ...