1980 search results - page 215 / 396 » Compositional Model Checking of Real Time Systems |
129
click to vote
ACIVS
2005
Springer
15 years 9 months ago
2005
Springer
Multiresolution video denoising is becoming an increasingly popular research topic over recent years. Although several wavelet based algorithms reportedly outperform classical sing...
138
Voted
ICDCS
2009
IEEE
16 years 15 days ago
2009
IEEE
With the growing complexity in computer systems, it has been a real challenge to detect and diagnose problems in today’s large-scale distributed systems. Usually, the correlatio...
130
click to vote
TC
1998
15 years 3 months ago
1998
—We describe a system-level simulation model and show that it enables accurate predictions of both I/O subsystem and overall system performance. In contrast, the conventional app...
SAFECOMP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
153
click to vote
VIP
2003
15 years 4 months ago
2003
This paper presents a novel approach for creating curvilinear, texture mapped, 3D scene models from a single painting or photograph with no prior internal knowledge about the shap...