1379 search results - page 184 / 276 » codes 2009 |
92
Voted
IWPC
2009
IEEE
15 years 7 months ago
2009
IEEE
A common static software bug detection technique is to use path simulation. Each execution path is simulated using symbolic variables to determine if any software errors could occ...
102
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
105
click to vote
IPPS
2009
IEEE
15 years 7 months ago
2009
IEEE
Pipelined wavefront computations are a ubiquitous class of parallel algorithm used for the solution of a num ber of scientific and engineering applications. This paper investig...
95
Voted
MSR
2009
ACM
15 years 7 months ago
2009
ACM
We are now witnessing the rapid growth of decentralized source code management (DSCM) systems, in which every developer has her own repository. DSCMs facilitate a style of collabo...
130
click to vote
ICS
2009
Tsinghua U.
14 years 10 months ago
2009
Tsinghua U.
Data de-duplication has become a commodity component in dataintensive systems and it is required that these systems provide high reliability comparable to others. Unfortunately, b...