877 search results - page 26 / 176 » Full Abstraction for HOPLA |
ICISC
2009
13 years 5 months ago
2009
Abstract. The field of lightweight cryptography has developed significantly over recent years and many impressive implementation results have been published. However these results ...
TIT
2010
13 years 2 months ago
2010
Abstract--In 1986, Don Knuth published a very simple algorithm for constructing sets of bipolar codewords with equal numbers of "1"s and "01"s, called balanced ...
ESOP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
FASE
2000
Springer
13 years 11 months ago
2000
Springer
g higher levels of abstraction with automated downward transformations has always been the way to go, as long as the engineers who do the actual work are th the abstractions. A dev...
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— In this paper, we propose a new MIMO-HSDPA transmission scheme with two transmit and two receive antennas, using an optimal Space-Time block code: the Golden code [1]. ...