487 search results - page 51 / 98 » A Compiled Implementation of Normalization by Evaluation |
IEEEPACT
2007
IEEE
15 years 9 months ago
2007
IEEE
Performance auditing is an online optimization strategy that empirically measures the effectiveness of an optimization on a particular code region. It has the potential to greatly...
157
click to vote
BTW
2007
Springer
15 years 9 months ago
2007
Springer
: Over the recent years, very little effort has been made to give XPath a proper algebraic treatment. The only laudable exception is the Natix Algebra (NAL) which defines the tran...
147
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
If parallelism can be successfully exploited in a program, significant reductions in execution time can be achieved. However, if sections of the code are dominated by parallel ove...
138
Voted
EUROMICRO
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper introduces thread integration, a new method of providing low-cost concurrency for microcontrollers and microprocessors. This post-pass compiler technology effectively i...
137
Voted
AADEBUG
1997
Springer
15 years 7 months ago
1997
Springer
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...