3820 search results - page 736 / 764 » Bounded Model Debugging |
163
click to vote
ISAAC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We consider bicriteria optimization problems and investigate the relationship between two standard approaches to solving them: (i) computing the Pareto curve and (ii) the...
166
click to vote
ISRR
2005
Springer
15 years 11 months ago
2005
Springer
An open problem in Simultaneous Localization and Mapping (SLAM) is the development of algorithms which scale with the size of the environment. A few promising methods exploit the ...
147
click to vote
WAOA
2005
Springer
15 years 11 months ago
2005
Springer
Given a graph G = (V, E) with n vertices, m edges and maximum vertex degree ∆, the load distribution of a coloring ϕ : V → {red, blue} is a pair dϕ = (rϕ, bϕ), where rϕ i...
153
click to vote
ACMSE
2004
ACM
15 years 11 months ago
2004
ACM
Although component-based software development has widespread acceptance in the enterprise business and desktop application domains, developers of distributed, real-time and embedd...
190
click to vote
MOBICOM
2004
ACM
15 years 11 months ago
2004
ACM
Recent years have seen the growing popularity of multi-rate wireless network devices (e.g., 802.11a cards) that can exploit variations in channel conditions and improve overall ne...