395 search results - page 44 / 79 » Encoding Algorithms for Logic Synthesis |
111
Voted
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We discuss a collection of mechanized formal proofs of symmetric key block encryption algorithms (AES, MARS, Twofish, RC6, Serpent, IDEA, and TEA), performed in an imple...
135
click to vote
CONTEXT
2003
Springer
15 years 7 months ago
2003
Springer
The development of more and more complex distributed applications over large networks of computers has raised the problem of semantic interoperability across applications based on ...
114
Voted
ICIP
2010
IEEE
15 years 13 days ago
2010
IEEE
This work presents a novel parallel technique to implement stack morphological filters for image processing. The method relies on applying the image bitwise decomposition to manip...
112
click to vote
INTEGRATION
2008
15 years 2 months ago
2008
In this paper an efficient algorithm for the synthesis and exact minimization of ESCT(Exclusive or Sum of Complex Terms) expressions for Boolean functions of at most six variables...
103
click to vote
CDES
2008
15 years 4 months ago
2008
In this paper an algorithm is proposed for the synthesis and exact minimization of ESCT (Exclusive or Sum of Complex Terms) expressions for Boolean functions of up to seven comple...