1629 search results - page 189 / 326 » Infeasible Code Detection |
116
click to vote
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
124
click to vote
SP
2008
IEEE
15 years 1 months ago
2008
IEEE
This paper presents a predictable and quantifiable approach to designing a covert communication system capable of effectively exploiting covert channels found in the various layer...
102
click to vote
TIP
1998
15 years 1 months ago
1998
Abstract— This correspondence addresses the use of a joint sourcechannel coding strategy for enhancing the error resilience of images transmitted over a binary channel with addit...
IEEECIT
2010
IEEE
15 years 3 days ago
2010
IEEE
Reduction is a common component of many applications, but can often be the limiting factor for parallelization. Previous reduction work has focused on detecting reduction idioms a...
144
Voted
CVPR
2012
IEEE
13 years 4 months ago
2012
IEEE
Proxemics is the study of how people interact. We present a computational formulation of visual proxemics by attempting to label each pair of people in an image with a subset of p...