Sciweavers

1359 search results - page 37 / 272
» Black-Box Program Specialization
Sort
View
AINA
2006
IEEE
14 years 12 days ago
Accelerating HMMer searches on Opteron processors with minimally invasive recoding
HMMer is a widely used tool for protein sequence homology detection, as well as functional annotation of homologous protein sequences, and protein family classification. The HMMer...
Joseph I. Landman, Joydeep Ray, John Paul Walters
PEPM
1998
ACM
14 years 26 days ago
Inherited Limits
We show the evolution of partial evaluators over the past ten years from a particular perspective: the attempt to remove limits on the structure of residual programs that are inher...
Torben Æ. Mogensen
CGO
2010
IEEE
14 years 3 months ago
Dynamic interpretation for dynamic scripting languages
Dynamic scripting languages offer programmers increased flexibility by allowing properties of programs to be defined at run-time. Typically, program execution begins with an int...
Kevin Williams, Jason McCandless, David Gregg
ECOOP
2006
Springer
14 years 10 days ago
A Semantic Analysis of C++ Templates
Templates are a powerful but poorly understood feature of the C++ language. Their syntax resembles the parameterized classes of other languages (e.g., of Java). But because C++ sup...
Jeremy G. Siek, Walid Taha
ICFP
2005
ACM
14 years 2 months ago
Fast narrowing-driven partial evaluation for inductively sequential programs
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
J. Guadalupe Ramos, Josep Silva, Germán Vid...