523 search results - page 52 / 105 » codes 2011 |
135
Voted
ICLP
2011
Springer
14 years 4 months ago
2011
Springer
Parallel implementations of programming languages need to control synchronization overheads. Synchronization is essential for ensuring the correctness of parallel code, yet it add...
107
click to vote
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
131
click to vote
SIGMOD
2011
ACM
14 years 3 months ago
2011
ACM
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
198
Voted
ICCV
2011
IEEE
14 years 17 days ago
2011
IEEE
This paper proposes a novel sparse representation model called centralized sparse representation (CSR) for image restoration tasks. In order for faithful image reconstruction, it ...
144
click to vote
CBSE
2011
Springer
14 years 16 days ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...