4276 search results - page 782 / 856 » Techniques for Empirical Validation |
ERLANG
2003
ACM
14 years 3 months ago
2003
ACM
The distributed telecommunications sector not only requires minimal time to market, but also software that is reliable, available, maintainable and scalable. High level programmin...
PLDI
2003
ACM
14 years 3 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
SAC
2003
ACM
14 years 3 months ago
2003
ACM
DNA microarray hybridisation is a popular high throughput technique in academic as well as industrial functional genomics research. In this paper we present a new approach to auto...
SBCCI
2003
ACM
14 years 3 months ago
2003
ACM
Unsupervised clustering is a powerful technique for understanding multispectral and hyperspectral images, being k-means one of the most used iterative approaches. It is a simple th...
SIGMETRICS
2003
ACM
14 years 3 months ago
2003
ACM
Distributed hash table (DHT) systems are an important class of peer-to-peer routing infrastructures. They enable scalable wide-area storage and retrieval of information, and will ...