4725 search results - page 117 / 945 » Dependence-Based Program Analysis |
131
click to vote
POPL
1998
ACM
15 years 9 months ago
1998
ACM
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfort...
112
click to vote
ICCAD
1997
IEEE
15 years 9 months ago
1997
IEEE
To solve the problem of fast thermal and electrostatic simulation of microsystem elements two different field solver tools have been developed at TUB. The µSTHERMANAL program is ...
164
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
130
click to vote
AAAI
1994
15 years 6 months ago
1994
Bounded response time is an important requirement when rule-based expert systems are used in real-time applications. In the case the rule-based system cannot terminate in bounded ...
165
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
This paper presents a general multi-view feature extraction approach that we call Generalized Multiview Analysis or GMA. GMA has all the desirable properties required for cross-vi...