5863 search results - page 971 / 1173 » Calculating Functional Programs |
114
Voted
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Traditional storage systems provide a simple read/write interface, which is inadequate for low-locality update-intensive workloads because it limits the disk scheduling flexibili...
154
Voted
JMLR
2012
13 years 5 months ago
2012
Metric and kernel learning arise in several machine learning applications. However, most existing metric learning algorithms are limited to learning metrics over low-dimensional d...
126
Voted
BMCBI
2002
15 years 2 months ago
2002
Background: SeqHound has been developed as an integrated biological sequence, taxonomy, annotation and 3-D structure database system. It provides a high-performance server platfor...
98
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Studies show that programs contain much similar code, commonly known as clones. One of the main reasons for introducing clones is programmers' tendency to copy and paste code...
244
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...