950 search results - page 148 / 190 » Data Integration Using DataPile Structure |
128
Voted
NAR
2006
15 years 2 months ago
2006
The PUMA2 system (available at http://compbio.mcs. 10 anl.gov/puma2) is an interactive, integrated bioinformatics environment for high-throughput genetic sequence analysis and met...
134
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
108
click to vote
EMSOFT
2009
Springer
15 years 9 months ago
2009
Springer
NANDFS is a flash file system that exposes a memory-performance tradeoff to system integrators. The file system can be configured to use a large amount of RAM, in which case i...
225
click to vote
CADE
2011
Springer
14 years 2 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
144
click to vote
POPL
1997
ACM
15 years 6 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...