3624 search results - page 90 / 725 » Abstract Algebraic Logic |
142
click to vote
AES
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Since being officially selected as the new Advanced Encryption Standard (AES), Rijndael has continued to receive great attention and has had its security continuously eva...
118
click to vote
ICDT
2007
ACM
15 years 10 months ago
2007
ACM
We introduce a new abstract model of database query processing, finite cursor machines, that incorporates certain data streaming aspects. The model describes quite faithfully what...
134
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
Algorithmic logic synthesis is usually carried out in two stages, the independent stage where logic minimization is performed on the Boolean equations with no regard to physical p...
147
click to vote
AMAST
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We propose a general categorical setting for modeling program composition in which the call-by-value and call-by-name disciplines fit as special cases. Other notions of c...
148
click to vote
CORR
1999
Springer
15 years 4 months ago
1999
Springer
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...