613 search results - page 102 / 123 » Finding and Fixing Faults |
106
click to vote
ISSTA
2000
ACM
15 years 4 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
HOTOS
2009
IEEE
15 years 3 months ago
2009
IEEE
Flash memory is the largest change to storage in recent history. To date, most research has focused on integrating flash as persistent storage in file systems, with little emphasi...
CPAIOR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Replication is a fundamental technique for increasing throughput and achieving fault tolerance in distributed data services. However, its implementation may induce signif...
131
click to vote
GECCO
2008
Springer
15 years 26 days ago
2008
Springer
Evolutionary testing denotes the use of evolutionary algorithms, e.g., Genetic Algorithms (GAs), to support various test automation tasks. Since evolutionary algorithms are heuris...
JNSM
2008
14 years 11 months ago
2008
1 In this paper we address the problem of selecting probe station locations from where probes can be sent to monitor all the nodes in the network. Probe station placement involves...