2635 search results - page 219 / 527 » Computing multihomogeneous resultants using straight-line pr... |
110
click to vote
SAS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
181
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
The proofs of major results of Computability Theory like Rice, Rice-Shapiro or Kleene's fixed point theorem hide more information of what is usually expressed in their respec...
108
Voted
CSMR
2005
IEEE
15 years 6 months ago
2005
IEEE
Impact analysis is the process of determining the effect, or impact, of a change to a software system. Dynamic impact analysis uses data obtained from executing a program to perfo...
IJCAI
2001
15 years 2 months ago
2001
We consider an on-line decision-theoretic interpreter and incremental execution of Golog programs. This new interpreter is intended to overcome some limitations of the off-line in...
148
Voted
IEEEPACT
2005
IEEE
15 years 6 months ago
2005
IEEE
Feedback-directed Optimization has become an increasingly important tool in designing and building optimizing compilers as itprovides a means to analyze complexprogram behavior th...