487 search results - page 71 / 98 » A Compiled Implementation of Normalization by Evaluation |
123
click to vote
CAL
2007
15 years 3 months ago
2007
Abstract—Indirect jumps are used to implement increasinglycommon programming language constructs such as virtual function calls, switch-case statements, jump tables, and interfac...
142
click to vote
JFP
2006
15 years 3 months ago
2006
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This article presents an appr...
129
Voted
IJHPCA
2002
15 years 3 months ago
2002
Lack of effective performance-evaluation environments is a major barrier to the broader use of high performance computing. Conventional performance environments are based on profi...
140
Voted
MICRO
2010
IEEE
15 years 1 months ago
2010
IEEE
Advanced Synchronization Facility (ASF) is an AMD64 hardware extension for lock-free data structures and transactional memory. It provides a speculative region that atomically exec...
145
click to vote
CRYPTO
2010
Springer
15 years 2 days ago
2010
Springer
We present a general method to compile any cryptographic algorithm into one which resists side channel attacks of the only computation leaks information variety for an unbounded nu...