Sciweavers

580 search results - page 12 / 116
» Building a Family of Compilers
Sort
View
SIAMSC
2008
104views more  SIAMSC 2008»
14 years 10 months ago
Reducing Floating Point Error in Dot Product Using the Superblock Family of Algorithms
This paper discusses both the theoretical and statistical errors obtained by various well-known dot products, from the canonical to pairwise algorithms, and introduces a new and mo...
Anthony M. Castaldo, R. Clint Whaley, Anthony T. C...
JCB
2000
137views more  JCB 2000»
14 years 9 months ago
NOTUNG: A Program for Dating Gene Duplications and Optimizing Gene Family Trees
Large scale gene duplication is a major force driving the evolution of genetic functional innovation. Whole genome duplications are widely believed to have played an important rol...
Kevin Chen, Dannie Durand, Martin Farach-Colton
ICFP
1999
ACM
15 years 2 months ago
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...
Atsushi Ohori, Nobuaki Yoshida
ITS
2004
Springer
94views Multimedia» more  ITS 2004»
15 years 3 months ago
Coherence Compilation: Applying AIED Techniques to the Reuse of Educational TV Resources
The HomeWork project is building an exemplar system to provide individualised experiences for individual and groups of children aged 6-7 years, their parents, teachers and classmat...
Rosemary Luckin, Joshua Underwood, Benedict du Bou...
ASPLOS
2008
ACM
15 years 8 hour ago
Xoc, an extension-oriented compiler for systems programming
Today's system programmers go to great lengths to extend the languages in which they program. For instance, system-specific compilers find errors in Linux and other systems, ...
Russ Cox, Tom Bergan, Austin T. Clements, M. Frans...