487 search results - page 71 / 98 » A Compiled Implementation of Normalization by Evaluation |
CAL
2007
14 years 11 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...
106
Voted
JFP
2006
14 years 11 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...
IJHPCA
2002
14 years 11 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...
102
click to vote
MICRO
2010
IEEE
14 years 9 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...
107
Voted
CRYPTO
2010
Springer
14 years 8 months 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...