330 search results - page 32 / 66 » Analyzing Large Spreadsheet Programs |
131
click to vote
ASPLOS
2009
ACM
15 years 5 months ago
2009
ACM
As our society becomes more information-driven, we have begun to amass data at an astounding and accelerating rate. At the same time, power concerns have made it difficult to brin...
100
click to vote
CSFW
2010
IEEE
15 years 5 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...
109
click to vote
ASPLOS
2006
ACM
15 years 5 months ago
2006
ACM
This paper explores hierarchical instruction scheduling for a tiled processor. Our results show that at the top level of the hierarchy, a simple profile-driven algorithm effective...
147
click to vote
ISSTA
2012
ACM
13 years 4 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
132
Voted
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...