940 search results - page 25 / 188 » New Cryptanalytic Results on IDEA |
100
click to vote
COMPASS
1991
15 years 1 months ago
1991
: We give the main definitions and results of a new framework for algebraic specifications: the framework of label algebras. The main idea underlying our approach is that the sem...
ADMA
2008
Springer
14 years 11 months ago
2008
Springer
In this paper, we study the maintenance of frequent patterns in the context of the generator representation. The generator representation is a concise and lossless representation o...
ENC
2005
IEEE
15 years 3 months ago
2005
IEEE
We describe a compression technique for semistructured documents, called SCMPPM, which combines the Prediction by Partial Matching technique with Structural Contexts Model (SCM) t...
94
Voted
DNA
2004
Springer
15 years 3 months ago
2004
Springer
We propose a new way to implement (general) computing devices with unbounded memory. In particular, we show a procedure to implement automata with unbounded stack memory, push-down...
ACSD
1998
IEEE
15 years 1 months ago
1998
IEEE
This paper makes the idea of memory shadowing [5] applicable to symbolic ternary simulation. Memory shadowing, an extension of Burch and Dill's pipeline verification method [...