6248 search results - page 1032 / 1250 » Programming in a data factory |
211
Voted
VLDB
2005
ACM
16 years 15 days ago
2005
ACM
In recent years, publish-subscribe (pub-sub) systems based on XML document filtering have received much attention. In a typical pubsub system, subscribed users specify their inte...
210
Voted
ASPLOS
2004
ACM
16 years 14 days ago
2004
ACM
This paper describes the design, implementation, and evaluation of a Federated Array of Bricks (FAB), a distributed disk array that provides the reliability of traditional enterpr...
184
Voted
VMCAI
2004
Springer
16 years 11 days ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
245
Voted
IPPS
2003
IEEE
16 years 9 days ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
173
Voted
IPPS
2003
IEEE
16 years 9 days ago
2003
IEEE
Inference of phylogenetic trees comprising hundreds or even thousands of organisms based on the maximum likelihood method is computationally extremely expensive. In previous work,...