4029 search results - page 376 / 806 » Experience with Software Watermarking |
180
click to vote
NA
2010
15 years 5 months ago
2010
We describe a fast solver for linear systems with reconstructible Cauchylike structure, which requires O(rn2 ) floating point operations and O(rn) memory locations, where n is th...
161
click to vote
RV
2010
Springer
15 years 5 months ago
2010
Springer
A study of Google’s data center revealed that the incidence of main memory errors is surprisingly high. These errors can lead to application and system corruption, impacting reli...
182
click to vote
FMAM
2010
15 years 4 months ago
2010
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
211
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
181
click to vote
IMC
2010
ACM
15 years 4 months ago
2010
ACM
Large scale active measurement of the Internet requires appropriate software support. The better tools that we have for executing consistent and systematic measurements, the more ...