487 search results - page 91 / 98 » A Compiled Implementation of Normalization by Evaluation |
100
click to vote
ASPLOS
2008
ACM
15 years 1 months ago
2008
ACM
Indirect jump instructions are used to implement increasinglycommon programming constructs such as virtual function calls, switch-case statements, jump tables, and interface calls...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
To ensure that a trust negotiation succeeds whenever possible, authorization policy compliance checkers must be able to find all minimal sets of their owners' credentials tha...
106
Voted
CCS
2008
ACM
15 years 1 months ago
2008
ACM
We present FairplayMP (for "Fairplay Multi-Party"), a system for secure multi-party computation. Secure computation is one of the great achievements of modern cryptograp...
103
Voted
USENIX
2000
15 years 26 days ago
2000
Traditional file system development is difficult. Stackable file systems promise to ease the development of file systems by offering a mechanism for incremental development. Unfor...
122
click to vote
EUROPAR
2010
Springer
15 years 19 days ago
2010
Springer
Abstract. Traditional parallel programming methodologies for improving performance assume cache-based parallel systems. However, new architectures, like the IBM Cyclops-64 (C64), b...