5439 search results - page 710 / 1088 » Patterns: from system design to software testing |
184
click to vote
VSTTE
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
167
click to vote
PVM
2005
Springer
16 years 6 days ago
2005
Springer
Many large-scale production parallel programs often run for a very long time and require data checkpoint periodically to save the state of the computation for program restart and/o...
164
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Within the last two decades, Receiver Operating Characteristic (ROC) Curves have become a standard tool for the analysis and comparison of classifiers since they provide a conveni...
203
click to vote
IBPRIA
2003
Springer
15 years 12 months ago
2003
Springer
Nowadays, the surveillance and inspection of underwater installations, such as power and telecommunication cables and pipelines, is carried out by trained operators who, from the s...
185
click to vote
SMC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract — The natural environments that robotic applications often encounter can present difficult problems for imagebased task execution. Prior efforts have used both grayscale...