1901 search results - page 208 / 381 » Predicting Program Properties from |
112
click to vote
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...
161
click to vote
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
133
Voted
PRDC
2002
IEEE
15 years 8 months ago
2002
IEEE
Grid computing system is different from conventional distributed computing systems by its focus on large-scale resource sharing, where processors and communication have significan...
110
click to vote
AIMSA
2000
Springer
15 years 7 months ago
2000
Springer
Inductive Logic Programming (ILP) deals with inducing clausal theories from examples basically through generalization or specialization. The specialization and generalization oper...
131
Voted
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
- This paper proposes a fast and practical decoupling capacitor (decap) budgeting algorithm to optimize the power ground (P/G) network design. The new method adopts a modified rand...