6960 search results - page 205 / 1392 » Continuity Analysis of Programs |
104
Voted
HPCC
2007
Springer
15 years 9 months ago
2007
Springer
The grid security architecture today does not prevent certain unauthorized access to the files associated with a job executing on a remote machine. Programs and data are transferre...
120
click to vote
POPL
1998
ACM
15 years 7 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...
103
Voted
ICCAD
1997
IEEE
15 years 7 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 ...
153
Voted
CAV
2006
Springer
15 years 7 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...
114
Voted
AAAI
1994
15 years 4 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 ...