121 search results - page 8 / 25 » The OpenMP Source Code Repository |
SCAM
2008
IEEE
15 years 6 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...
82
Voted
WCRE
2010
IEEE
14 years 10 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...
110
click to vote
APVIS
2008
15 years 1 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 ...
133
Voted
PPOPP
2009
ACM
16 years 21 days 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...
112
Voted
HICSS
2009
IEEE
15 years 7 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...