Sciweavers

1310 search results - page 96 / 262
» On a Class of Traceability Codes
Sort
View
DCC
2008
IEEE
14 years 9 months ago
A Lower Bound on the Redundancy of Arithmetic-Type Delay Constrained Coding
In a previous paper we derived an upper bound on the redundancy of an arithmetic-type encoder for a memoryless source, designed to meet a finite endto-end strict delay constraint....
Eado Meron, Ofer Shayevitz, Meir Feder, Ram Zamir
TACAS
2010
Springer
210views Algorithms» more  TACAS 2010»
14 years 5 months ago
Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
Alastair F. Donaldson, Daniel Kroening, Philipp R&...
VMCAI
2005
Springer
14 years 3 months ago
Cryptographic Protocol Analysis on Real C Code
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
Jean Goubault-Larrecq, Fabrice Parrennes
ECBS
2006
IEEE
145views Hardware» more  ECBS 2006»
14 years 1 months ago
The Accuracy of Fault Prediction in Modified Code - Statistical Model vs. Expert Estimation
Fault prediction models still seem to be more popular in academia than in industry. In industry expert estimations of fault proneness are the most popular methods of deciding wher...
Piotr Tomaszewski, Jim Håkansson, Lars Lundb...
CVIU
2004
118views more  CVIU 2004»
13 years 10 months ago
Differential video coding of face and gesture events in presentation videos
Currently, bandwidth limitations pose a major challenge for delivering high-quality multimedia information over the Internet to users. In this research, we aim to provide a better...
Robin Tan, James W. Davis