3436 search results - page 321 / 688 » Software Tools for Performance Modeling of Parallel Programs |
119
Voted
PADL
2010
Springer
16 years 2 days ago
2010
Springer
Abstract. We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast ...
137
click to vote
IEEEPACT
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we propose a unified architectural support that can be used flexibly for either soft-error protection or software bug detection. Our approach is based on dynamically...
125
click to vote
HOTI
2008
IEEE
15 years 9 months ago
2008
IEEE
Much of high performance technical computing has moved from shared memory architectures to message based cluster systems. The development and wide adoption of the MPI parallel pro...
166
click to vote
ICFEM
2009
Springer
15 years 29 days ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
138
click to vote
ECEASST
2008
15 years 2 months ago
2008
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...