1226 search results - page 70 / 246 » Proofs, Programs and Abstract Complexity |
139
click to vote
CASCON
2001
15 years 4 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
118
click to vote
HYBRID
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Multi-modal control is a commonly used design tool for breaking up complex control tasks into sequences of simpler tasks. In this paper, we show that by viewing the contr...
119
click to vote
TCS
2008
15 years 3 months ago
2008
The replication number of a branching program is the minimum number R such that along every accepting computation at most R variables are tested more than once; the sets of variab...
126
click to vote
LOPSTR
1994
Springer
15 years 7 months ago
1994
Springer
We present a goal replacement rule whose main applicability condition is based on termination properties of the resulting transformed program. The goal replacement rule together wi...
125
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
In the early days a policy was a set of simple rules with a clear intuitive motivation that could be formalised to good effect. However the world is becoming much more complex. S...