1528 search results - page 144 / 306 » Performance Assertion Checking |
109
Voted
CONCUR
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
125
click to vote
APLAS
2001
ACM
15 years 6 months ago
2001
ACM
The garbage collection is a safe and efficient method for managing the heap. However it is not efficient for temporary storages that are allocated often and deallocated quickly. R...
143
click to vote
TACAS
2000
Springer
15 years 6 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
121
Voted
DSD
2008
IEEE
15 years 4 months ago
2008
IEEE
The aim of this work is to present a method for rounding quadratically converging algorithms that improves their performance. This method is able to reduce significantly the numbe...
127
click to vote
MVA
2000
15 years 3 months ago
2000
This paper presents the method to determine the order of feature (attention) points for face detection. The order of feature points is determined in terms of the classification ab...