12766 search results - page 2160 / 2554 » collective |
317
click to vote
POPL
2008
ACM
16 years 8 months ago
2008
ACM
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...
303
click to vote
POPL
2007
ACM
16 years 8 months ago
2007
ACM
Path profiles provide a more accurate characterization of a program's dynamic behavior than basic block or edge profiles, but are relatively more expensive to collect. This h...
289
Voted
POPL
2003
ACM
16 years 8 months ago
2003
ACM
We present an interprocedural and compositional algorithm for finding pairs of compatible allocation sites, which have the property that no object allocated at one site is live at...
233
click to vote
RECOMB
2007
Springer
16 years 8 months ago
2007
Springer
High-resolution array comparative genomic hybridization (aCGH) provides exon-level mapping of DNA aberrations in cells or tissues. Such aberrations are central to carcinogenesis an...
217
Voted
RECOMB
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. There is a resurgence of interest in RNA secondary structure prediction problem (a.k.a. the RNA folding problem) due to the discovery of many new families of non-coding R...