4211 search results - page 450 / 843 » Types as Abstract Interpretations |
159
click to vote
CAV
2007
Springer
16 years 26 days ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
166
click to vote
ECML
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The area under the ROC curve (AUC) has been widely used to measure ranking performance for binary classification tasks. AUC only employs the classifier’s scores to ra...
196
click to vote
FASE
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
167
click to vote
FMCO
2007
Springer
16 years 26 days ago
2007
Springer
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (...
174
click to vote
IDA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Finite mixture models can be used in estimating complex, unknown probability distributions and also in clustering data. The parameters of the models form a complex repres...