Sciweavers

2 search results - page 1 / 1
» cuza 2010
Sort
View
CUZA
2010
158views Cryptology» more  CUZA 2010»
13 years 1 months ago
An Algebra of Hierarchical Graphs and its Application to Structural Encoding
Roberto Bruni, Fabio Gadducci, Alberto Lluch-Lafue...
CUZA
2010
150views Cryptology» more  CUZA 2010»
13 years 1 months ago
Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions
In this paper, we describe a symbolic synthesis method which given an algebraic expression that specifies a bitstream function f, constructs a (minimal) Mealy machine that realise...
Helle Hvid Hansen, Jan J. M. M. Rutten