487 search results - page 47 / 98 » A Compiled Implementation of Normalization by Evaluation |
101
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
The size and complexity of current custom VLSI have forced the use of high-level programming languages to describe hardware, and compiler and synthesis technology bstract designs ...
130
click to vote
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Data-centric synchronization groups fields of objects into atomic sets to indicate they must be updated atomically. Each atomic set has associated units of work, code fragments th...
146
click to vote
LCPC
1998
Springer
15 years 7 months ago
1998
Springer
There is a class of sparse matrix computations, such as direct solvers of systems of linear equations, that change the fill-in (nonzero entries) of the coefficient matrix, and invo...
126
Voted
IFL
1997
Springer
15 years 7 months ago
1997
Springer
Common subexpression elimination is a well-known compiler optimisation that saves time by avoiding the repetition of the same computation. In lazy functional languages, referential...
123
Voted
DIMVA
2009
15 years 4 months ago
2009
Abstract. This paper introduces a new software polymorphism technique that randomizes program data structure layout. This technique will generate different data structure layouts f...