Sciweavers

152 search results - page 7 / 31
» Full Abstraction for Reduced ML
Sort
View
TWC
2008
150views more  TWC 2008»
15 years 1 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
15 years 7 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...
132
Voted
CANS
2010
Springer
258views Cryptology» more  CANS 2010»
14 years 11 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
97
Voted
ICC
2007
IEEE
110views Communications» more  ICC 2007»
15 years 8 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»
15 years 7 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...