Data availability, collection and storage have increased dramatically in recent years, raising new technological and algorithmic challenges for database design and data management...
—Structured Peer-to-Peer (P2P) systems are highly scalable, self-organizing, and support efficient lookups. Furthermore, Distributed Hash Tables (DHTs), due to their features, a...
A new platform for reconfigurable computing has an object-based programming model, with architecture, silicon and tools designed to faithfully realize this model. The platform is ...
We hypothesize that the relationship between parameter settings, specically parameters controlling mutation, and performance is non-linear in genetic programs. Genetic programmin...
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...