Sciweavers

374 search results - page 41 / 75
» IP = PSPACE using Error Correcting Codes
Sort
View
DATE
2009
IEEE
178views Hardware» more  DATE 2009»
14 years 2 months ago
Correct-by-construction generation of device drivers based on RTL testbenches
Abstract—The generation of device drivers is a very time consuming and error prone activity. All the strategies proposed up to now to simplify this operation require a manual, ev...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli...
ICIP
2009
IEEE
14 years 9 months ago
Double Embedding In The Quantization Index Modulation Framework
In this paper, we perform double embedding in the quantization index modulation (QIM) framework where a single coefficient is modified twice, using two quantizers, to embed two bi...
APPROX
2005
Springer
96views Algorithms» more  APPROX 2005»
14 years 1 months ago
Tolerant Locally Testable Codes
An error-correcting code is said to be locally testable if it has an efficient spot-checking procedure that can distinguish codewords from strings that are far from every codeword...
Venkatesan Guruswami, Atri Rudra
ICASSP
2008
IEEE
14 years 2 months ago
A realistic performance analysis for practical channel-aware scheduling
It is well-known that opportunistic transmission schemes are sumcapacity optimal, in the Shannon sense, for symmetric cellular networks with single-antenna transceivers. However, ...
Pengcheng Zhan, Ramesh Annavajjala, A. Lee Swindle...
ICCAD
1996
IEEE
141views Hardware» more  ICCAD 1996»
14 years 3 days ago
An observability-based code coverage metric for functional simulation
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...
Srinivas Devadas, Abhijit Ghosh, Kurt Keutzer