1914 search results - page 289 / 383 » Verification by Abstract Interpretation |
114
Voted
CLEF
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper describes a visual localization approach for mobile robots. Robot localization is performed as location recognition. The approach uses global visual features (...
FMICS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
112
Voted
GG
2010
Springer
15 years 1 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
115
click to vote
CORR
2010
Springer
15 years 23 days ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
101
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
Abstract--We study the design of media streaming applications in the presence of multiple heterogeneous wireless access methods with different throughputs and costs. Our objective ...