Sciweavers

580 search results - page 12 / 116
» Building a Family of Compilers
Sort
View
SIAMSC
2008
104views more  SIAMSC 2008»
13 years 7 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»
13 years 7 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
13 years 12 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»
14 years 1 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
13 years 9 months 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...