3342 search results - page 344 / 669 » Automating Abstract Interpretation |
154
click to vote
WCET
2003
15 years 5 months ago
2003
Worst-Case Execution Time (WCET) analysis means to compute a safe upper bound to the execution time of a piece of code. Parametric WCET analysis yields symbolic upper bounds: expr...
143
click to vote
WOA
2003
15 years 5 months ago
2003
Abstract—This paper illustrates how the functionalities of monitoring/control systems, within an agent–based framework, can be improved by the adoption of Knowledge–Based tec...
144
click to vote
NIPS
2000
15 years 5 months ago
2000
We describe a unified framework for the understanding of structure representation in primate vision. A model derived from this framework is shown to be effectively systematic in t...
107
click to vote
IJCAI
1989
15 years 5 months ago
1989
: This paper describes a novel method for displaying and examining the execution space of a rule interpreter. This method provides both coarse-grained and fine-grained views. The c...
155
click to vote
WOB
2007
15 years 5 months ago
2007
Abstract. We propose a method for global validation of gene clusterings. The method selects a set of informative and non-redundant GO terms through an exploration of the Gene Ontol...