3395 search results - page 377 / 679 » Designs, Disputes and Strategies |
177
Voted
EDO
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we describe a new approach for increasing the reliability of ubiquitous software systems. This is achieved by executing tests at run-time. The individual software co...
154
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
We address the problem of sorting in the presence of faults that may arbitrarily corrupt memory locations, and investigate the impact of memory faults both on the correctness and ...
157
click to vote
EWSA
2006
Springer
15 years 10 months ago
2006
Springer
Assembling software components into an architecture is a difficult task because of its combinatorial complexity. There is thus a need for automating this building process, either t...
182
click to vote
CASES
2001
ACM
15 years 10 months ago
2001
ACM
Energy consumption is a crucial factor in designing batteryoperated embedded and mobile systems. The memory system is a major contributor to the system energy in such environments...
171
click to vote
CP
2000
Springer
15 years 10 months ago
2000
Springer
This paper addresses the interaction between randomization, with restart strategies, and learning, an often crucial technique for proving unsatisfiability. We use instances of SAT ...