970 search results - page 162 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
121
click to vote
CP
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...
87
Voted
FAST
2007
15 years 1 months ago
2007
Abstract— Prefetching is a widely used technique in modern data storage systems. We study the most widely used class of prefetching algorithms known as sequential prefetching. Th...
114
Voted
CASES
2007
ACM
15 years 4 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
109
Voted
HPCA
2009
IEEE
16 years 29 days ago
2009
IEEE
Decreasing hardware reliability is expected to impede the exploitation of increasing integration projected by Moore's Law. There is much ongoing research on efficient fault t...
135
Voted
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
Mining feedback information from user click-through data is an important issue for modern Web retrieval systems in terms of architecture analysis, performance evaluation and algor...