2631 search results - page 159 / 527 » Software Development with Code Maps |
127
Voted
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
155
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we evaluate the atomic region compiler abstraction by incorporating it into a commercial system. We find that atomic regions are simple and intuitive to integrate i...
129
Voted
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Parametric polymorphism has become a common feature of mainstream programming languages, but software component architectures have lagged behind and do not support it. We examine ...
ISBI
2002
IEEE
16 years 5 months ago
2002
IEEE
The standard template provided with the statistical software package SPM'99 was originally developed for 15 O-H2O PET scans in resting condition with eyes closed. This templa...
133
click to vote
IWPC
2003
IEEE
15 years 9 months ago
2003
IEEE
Source code clones are copies or near-copies of other portions of code, often created by copying and pasting portions of source code. This working session is concerned with buildi...