1604 search results - page 189 / 321 » Development Separation in Lambda-Calculus |
RECOMB
2001
Springer
16 years 25 days ago
2001
Springer
In proteomics 2?dimensional gel electrophoresis (2?DE) is a separation technique for proteins. The resulting protein spots can be identified by either using picking robots and sub...
150
Voted
OSDI
2006
ACM
16 years 24 days ago
2006
ACM
We have developed Ceph, a distributed file system that provides excellent performance, reliability, and scalability. Ceph maximizes the separation between data and metadata manage...
195
click to vote
SIGMOD
2009
ACM
16 years 22 days ago
2009
ACM
With the proliferation of the RDF data format, engines for RDF query processing are faced with very large graphs that contain hundreds of millions of RDF triples. This paper addre...
168
Voted
SIGMOD
2005
ACM
16 years 20 days ago
2005
ACM
There has been an information explosion in fields of science such as high energy physics, astronomy, environmental sciences and biology. There is a critical need for automated sys...
87
Voted
SIGMOD
2003
ACM
16 years 20 days ago
2003
ACM
Managing scientific data warehouses requires constant adaptations to cope with changes in processing algorithms, computing environments, database schemas, and usage patterns. We h...