11022 search results - page 1927 / 2205 » Programming Systems for Autonomy |
118
Voted
JFP
2010
15 years 29 days ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
147
click to vote
PPOPP
2010
ACM
15 years 28 days ago
2010
ACM
Many programs exploit shared-memory parallelism using multithreading. Threaded codes typically use locks to coordinate access to shared data. In many cases, contention for locks r...
134
Voted
RV
2010
Springer
15 years 28 days ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
137
click to vote
TAICPART
2010
IEEE
15 years 27 days ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
123
Voted
TECS
2010
15 years 27 days ago
2010
We consider the problem of recovering from failures of distributable threads (“threads”) in distributed realtime systems that operate under run-time uncertainties including th...