4752 search results - page 646 / 951 » Dependability in Web Software |
242
click to vote
ASPLOS
2011
ACM
14 years 11 months ago
2011
ACM
Concurrency bugs are caused by non-deterministic interleavings between shared memory accesses. Their effects propagate through data and control dependences until they cause softwa...
218
click to vote
C5
2003
IEEE
16 years 25 days ago
2003
IEEE
SuperSwiki is a not yet well defined term. Its origins go back to Ward Cunningham's Wiki and its Squeak variant, the Swiki. It provides a place to share and edit web pages, f...
321
click to vote
ASPLOS
2009
ACM
16 years 8 months ago
2009
ACM
Future processors are expected to observe increasing rates of hardware faults. Using Dual-Modular Redundancy (DMR), two cores of a multicore can be loosely coupled to redundantly ...
229
Voted
ICAC
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper, we design, implement and evaluate AdaptGuard, a software service for guarding adaptive systems, such as QoS-adaptive servers, from instability caused by software an...
188
click to vote
ISSTA
2009
ACM
16 years 2 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...