Sciweavers

152 search results - page 7 / 31
» Full Abstraction for Reduced ML
Sort
View
TWC
2008
150views more  TWC 2008»
13 years 8 months ago
Improved iterative detection and achieved throughputs of OFDM systems under imperfect channel estimation
Abstract--Assuming imperfect channel estimation, we propose an improved detector for orthogonal frequency-division multiplexing (OFDM) systems over a frequency-selective fading cha...
Seyed Mohammad Sajad Sadough, Pierre Duhamel
CASES
2003
ACM
14 years 1 months ago
Reducing code size with echo instructions
In an embedded system, the cost of storing a program onchip can be as high as the cost of a microprocessor. Compressing an application’s code to reduce the amount of memory requ...
Jeremy Lau, Stefan Schoenmackers, Timothy Sherwood...
CANS
2010
Springer
258views Cryptology» more  CANS 2010»
13 years 6 months ago
Cryptanalysis of Reduced-Round MIBS Block Cipher
Abstract. This paper presents the first independent and systematic linear, differential and impossible-differential (ID) cryptanalyses of MIBS, a lightweight block cipher aimed at ...
Asli Bay, Jorge Nakahara, Serge Vaudenay
ICC
2007
IEEE
110views Communications» more  ICC 2007»
14 years 2 months ago
A New STC Structure to Achieve Generalized Optimal Diversity with a Reduced Design Complexity
Abstract - We propose a new space-time code (STC) structure that can achieve generalized optimal diversity (GOD) with a reduced design complexity, and also provide an increased cod...
Moon Il Lee, Seong Keun Oh, Dong Seung Kwon
TLDI
2003
ACM
135views Formal Methods» more  TLDI 2003»
14 years 1 months ago
Typed compilation of recursive datatypes
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, K...