3104 search results - page 281 / 621 » Using quantitative analysis to implement autonomic IT system... |
170
click to vote
MMB
2001
Springer
15 years 9 months ago
2001
Springer
This paper provides a performance evaluation of the TETRAPOL random access protocol. The results are based on a Markovian model which is also presented. The Markovian model is use...
130
Voted
COMSIS
2007
15 years 4 months ago
2007
The theoretical outcomes and experimental results of new color model implemented in algorithms and software of image processing are presented in the paper. This model, as it will b...
150
click to vote
ISCI
2008
15 years 4 months ago
2008
Spelling speech recognition can be applied for several purposes including enhancement of speech recognition systems and implementation of name retrieval systems. This paper presen...
131
click to vote
CONCURRENCY
2007
15 years 4 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
171
click to vote
CASES
2005
ACM
15 years 6 months ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...