Sciweavers

523 search results - page 71 / 105
» codes 2011
Sort
View
151
Voted
TMC
2011
151views more  TMC 2011»
14 years 9 months ago
Flexible Broadcasting of Scalable Video Streams to Heterogeneous Mobile Devices
—We study the scalable video broadcasting problem in mobile TV broadcast networks, where each TV channel is encoded into a scalable video stream with multiple layers, and several...
Cheng-Hsin Hsu, Mohamed Hefeeda
JOCN
2011
100views more  JOCN 2011»
14 years 5 months ago
The Emergence of Perceived Position in the Visual System
■ Representing object position is one of the most critical functions of the visual system, but this task is not as simple as reading off an objectʼs retinal coordinates. A rich...
Jason Fischer, Nicole Spotswood, David Whitney
PKC
2011
Springer
219views Cryptology» more  PKC 2011»
14 years 5 months ago
Linearly Homomorphic Signatures over Binary Fields and New Tools for Lattice-Based Signatures
ded abstract of this work appears in Public Key Cryptography — PKC 2011, ed. R. Gennaro, Springer LNCS 6571 (2011), 1–16. This is the full version. We propose a linearly homom...
Dan Boneh, David Mandell Freeman
151
Voted
ASE
2011
14 years 6 months ago
Alattin: mining alternative patterns for defect detection
Abstract To improve software quality, static or dynamic defect-detection tools accept programming rules as input and detect their violations in software as defects. As these progra...
Suresh Thummalapenta, Tao Xie
129
Voted
CAV
2011
Springer
253views Hardware» more  CAV 2011»
14 years 6 months ago
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. G...