Sciweavers

831 search results - page 89 / 167
» Parallel error correcting codes
Sort
View
IPPS
2008
IEEE
15 years 11 months ago
Improving software reliability and productivity via mining program source code
A software system interacts with third-party libraries through various APIs. Insufficient documentation and constant refactorings of third-party libraries make API library reuse ...
Tao Xie, Mithun Acharya, Suresh Thummalapenta, Kun...
ICMCS
2005
IEEE
95views Multimedia» more  ICMCS 2005»
15 years 10 months ago
Optimization of source and channel coding for voice over IP
Voice over Internet Protocol (VoIP) applications must typically choose a tradeoff between the bits allocated for Forward Error Correcting (FEC) and that for the source coding to a...
Yicheng Huang, Jari Korhonen, Ye Wang
CRYPTO
2008
Springer
132views Cryptology» more  CRYPTO 2008»
15 years 6 months ago
Public-Key Locally-Decodable Codes
In this paper we introduce the notion of a Public-Key Encryption Scheme that is also a Locally-Decodable Error-Correcting Code (PKLDC). In particular, we allow any polynomialtime ...
Brett Hemenway, Rafail Ostrovsky
PPOPP
2005
ACM
15 years 10 months ago
Static analysis of atomicity for programs with non-blocking synchronization
In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are ato...
Liqiang Wang, Scott D. Stoller
ICCAD
1996
IEEE
141views Hardware» more  ICCAD 1996»
15 years 9 months 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