Sciweavers

1282 search results - page 90 / 257
» Practical Loss-Resilient Codes
Sort
View
156
Voted
ICC
2007
IEEE
147views Communications» more  ICC 2007»
15 years 11 months ago
A New Hybrid Space-Time Block Codes and Spatial Multiplexing Scheme with Precoding
— We present a new hybrid scheme which combines space-time block codes (STBC) and spatial multiplexing (SM) to achieve both diversity and spatial multiplexing gain. We design a n...
Jong-Kyu Kim, Heunchul Lee, Inkyu Lee
UML
2004
Springer
15 years 10 months ago
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...
IPPS
2003
IEEE
15 years 10 months ago
Wrapping Legacy Codes for Grid-Based Applications
This paper describes a process for the semi-automatic conversion of numerical and scientific routines written in the C programming language into Triana-based computational servic...
Yan Huang, Ian Taylor, David W. Walker, Robert Dav...
CRYPTO
1997
Springer
156views Cryptology» more  CRYPTO 1997»
15 years 9 months ago
Fast and Secure Hashing Based on Codes
This paper considers hash functions based on block ciphers. It presents a new attack on the compression function of the 128-bit hash function MDC-4 using DES with a complexity far ...
Lars R. Knudsen, Bart Preneel
CAV
2008
Springer
160views Hardware» more  CAV 2008»
15 years 7 months ago
Scalable Shape Analysis for Systems Code
Pointer safety faults in device drivers are one of the leading causes of crashes in operating systems code. In principle, shape analysis tools can be used to prove the absence of t...
Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano...