121 search results - page 8 / 25 » The OpenMP Source Code Repository |
SCAM
2008
IEEE
14 years 2 months ago
2008
IEEE
The presence of vulnerable statements in the source code is a crucial problem for maintainers: properly monitoring and, if necessary, removing them is highly desirable to ensure h...
WCRE
2010
IEEE
13 years 6 months ago
2010
IEEE
—Automatic and advanced merging algorithms help programmers to merge their modifications in main development repositories. However, there is little support to help release maste...
APVIS
2008
13 years 9 months ago
2008
With the success of open source software projects, such as Apache and Mozilla, comes the opportunity to study the development process. In this paper, we present StarGate: a novel ...
PPOPP
2009
ACM
14 years 8 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
With the growing economic importance of open source, we need to improve our understanding of how open source software development processes work. The analysis of code contribution...