Sciweavers

3736 search results - page 323 / 748
» Generative Programming
Sort
View
176
Voted
FPLE
1995
15 years 7 months ago
Compiler Construction Using Scheme
This paper describes a course in compiler design that focuses on the Scheme implementation of a Scheme compiler that generates native assembly code for a real architecture. The co...
Eric Hilsdale, J. Michael Ashley, R. Kent Dybvig, ...
ASPLOS
1987
ACM
15 years 7 months ago
Pipelining and Performance in the VAX 8800 Processor
The VAX 8800 family (models 8800, 8700, 8550), currently the fastest computers in the VAX product line, achieve their speed through a combination of fast cycle time and deep pipel...
Douglas W. Clark
ENVSOFT
2006
120views more  ENVSOFT 2006»
15 years 4 months ago
Improving the analyses of nestedness for large sets of matrices
Nestedness is a property of binary matrices of ecological data and quantified by the matrix's temperature, T. The program widely used to calculate T is Nestedness Temperature...
Paulo R. Guimarães Jr., Paulo Guimarã...
JAL
2008
139views more  JAL 2008»
15 years 4 months ago
A test suite for the evaluation of mixed multi-unit combinatorial auctions
Mixed Multi-Unit Combinatorial Auctions extend and generalize all the preceding types of combinatorial auctions. In this paper, we try to make headway on the practical application...
Meritxell Vinyals, Andrea Giovannucci, Jesú...
119
Voted
APAL
2005
90views more  APAL 2005»
15 years 4 months ago
Explicit mathematics: power types and overloading
Systems of explicit mathematics provide an axiomatic framework to represent programs and to prove properties of them. We introduce such a system with a new form of power types usi...
Thomas Studer