4725 search results - page 467 / 945 » Dependence-Based Program Analysis |
182
click to vote
CDC
2009
IEEE
16 years 8 days ago
2009
IEEE
— This work presents an H2 performance analysis of the agreement protocol in the presence of noise. The agreement protocol is first transformed into an equivalent system induced...
166
click to vote
ENTCS
2007
15 years 7 months ago
2007
We give a uniform type-systematic account of a number of optimizations and the underlying analyses for a bytecode-like stack-based low-level language, including analysis soundness...
232
click to vote
ICDAR
2009
IEEE
15 years 5 months ago
2009
IEEE
We present a user interface design for labeling elements in document images at a pixel level. Labels are represented by overlay color, which might map to such terms as "handw...
182
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programming (ASP) are based on sophisticated Boolean constraint solving techniques. In both areas, conflict-driven l...
208
click to vote
IJHPCA
2002
15 years 7 months ago
2002
Lack of effective performance-evaluation environments is a major barrier to the broader use of high performance computing. Conventional performance environments are based on profi...