1379 search results - page 181 / 276 » codes 2009 |
109
Voted
WWW
2009
ACM
16 years 4 months ago
2009
ACM
The abundant knowledge in web communities has motivated the research interests in discussion threads. The dynamic nature of discussion threads poses interesting and challenging pr...
137
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
133
click to vote
IWOMP
2009
Springer
15 years 10 months ago
2009
Springer
OpenMP relies heavily on barrier synchronization to coordinate the work of threads that are performing the computations in a parallel region. A good implementation of barriers is ...
113
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
Dataflow descriptions have been used in a wide range of Digital Signal Processing (DSP) applications, such as multi-media processing, and wireless communications. Among various f...
125
click to vote
DPHOTO
2009
15 years 1 months ago
2009
In this paper we present an approach to extend the Depth-of-Field (DoF) for cell phone miniature camera by concurrently optimizing optical system and post-capture digital processi...