15779 search results - page 2548 / 3156 » Change-oriented software engineering |
248
click to vote
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
A minimal, bounded hardware transactional memory implementation significantly improves synchronization performance when used in an operating system kernel. We add HTM to Linux 2.4...
246
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
230
click to vote
POPL
2003
ACM
16 years 5 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
187
click to vote
MOBISYS
2006
ACM
16 years 4 months ago
2006
ACM
Tool support for mobile application development can significantly improve programmer productivity and software quality. Pegboard is a novel tooling framework that extends the Ecli...
136
click to vote
EUROSYS
2009
ACM
16 years 1 months ago
2009
ACM
In a Multi-Variant Execution Environment (MVEE), several slightly different versions of the same program are executed in lockstep. While this is done, a monitor compares the behav...