780 search results - page 28 / 156 » software 2011 |
114
Voted
ASPLOS
2011
ACM
14 years 5 months ago
2011
ACM
Diagnosing software failures in the field is notoriously difficult, in part due to the fundamental complexity of trouble-shooting any complex software system, but further exacer...
130
Voted
PPOPP
2011
ACM
14 years 4 months ago
2011
ACM
Developing parallel software using current tools can be challenging. Even experts find it difficult to reason about the use of locks and often accidentally introduce race condit...
200
click to vote
APAL
2011
14 years 9 months ago
2011
The terms of the upper and lower central series of a nilpotent computable group have computably enumerable Turing degree. We show that the Turing degrees of these terms are indepe...
128
Voted
DCOSS
2011
Springer
14 years 1 months ago
2011
Springer
—Modular software, in which strongly-separated units of functionality can be independently added to and removed from a node’s running software, offers a promising approach to e...
129
click to vote
DAC
2011
ACM
14 years 1 months ago
2011
ACM
Modern processor architectures call for software that is highly tuned to an unpredictable operating environment. Processlevel virtualization systems allow existing software to ada...