4719 search results - page 268 / 944 » Newtonian program analysis |
138
click to vote
SCAM
2002
IEEE
15 years 10 months ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
142
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...
181
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
In multimedia and other streaming applications a significant portion of energy is spent on data transfers. Exploiting data reuse opportunities in the application, we can reduce th...
161
Voted
CSCWD
2008
Springer
15 years 7 months ago
2008
Springer
Design is a complex process often described as a collaboration between a designer and herself. In architectural design, a designer must consider the selection of a subset of actio...
191
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...