8874 search results - page 199 / 1775 » A New Implementation of Automath |
150
click to vote
FSE
2005
Springer
15 years 10 months ago
2005
Springer
So far, efficient algorithmic countermeasures to secure the AES algorithm against (first-order) differential side-channel attacks have been very expensive to implement. In this a...
131
click to vote
SIGIR
2004
ACM
15 years 9 months ago
2004
ACM
Latent Semantic Indexing (LSI) is a well established and effective framework for conceptual information retrieval. In traditional implementations of LSI the semantic structure of...
136
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
: Almost ten years ago, Ralf Hinze has written a functional pearl on how to derive backtracking functionality for the purely functional programming language Haskell. In these notes...
118
click to vote
TOOLS
2000
IEEE
15 years 8 months ago
2000
IEEE
— In Java, method implementations are chosen at runtime by late-binding with respect to the runtime class of just the receiver argument. However, in order to simplify many progra...
133
click to vote
ASPDAC
1995
ACM
15 years 8 months ago
1995
ACM
- We address the problem of transforming a behavioral specification so that synthesis of a testable implementation from the new specification requires significantly less area and ...