29 search results - page 2 / 6 » Matching execution histories of program versions |
OOPSLA
2010
Springer
13 years 3 months ago
2010
Springer
The usage of optimistic version control systems comes along with cumbersome and time-consuming conflict resolution in the case that the modifications of two developers are contrad...
SENSYS
2009
ACM
13 years 12 months ago
2009
ACM
Creating and debugging programs for wireless embedded networks (WENs) is notoriously difficult. Macroprogramming is an emerging technology that aims to address this by providing ...
MSR
2006
ACM
13 years 11 months ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...
ESOP
2009
Springer
13 years 9 months ago
2009
Springer
We describe the mechanisation of SLR parsing, covering background properties of context-free languages and grammars, as well as the construction of an SLR automaton. Among the vari...
ICS
1994
Tsinghua U.
13 years 9 months ago
1994
Tsinghua U.
We present a parallel code generation algorithm for complete applications and a new experimental methodology that tests the efficacy of our approach. The algorithm optimizes for d...