493 search results - page 44 / 99 » types 1998 |
AGENTS
1998
Springer
15 years 4 months ago
1998
Springer
We present a generalized market architecture that provides support for a variety of types of transactions, from simple buying and selling of goods and services to complex multi-age...
DAC
1998
ACM
15 years 4 months ago
1998
ACM
Carry-save-adder CSA is the most often used type of operation in implementing a fast computation of arithmetics of register-transfer level design in industry. This paper establis...
ICFP
1998
ACM
15 years 4 months ago
1998
ACM
H/Direct is a foreign-language interface for the purely functional language Haskell. Rather than rely on host-language type signatures, H/Direct compiles Interface Definition Lang...
112
click to vote
CADE
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
108
click to vote
CARDIS
1998
Springer
15 years 4 months ago
1998
Springer
We proposed a new block cipher, Serpent, as a candidate for the Advanced Encryption Standard. This algorithm uses a new structure that simultaneously allows a more rapid avalanche,...