1738 search results - page 171 / 348 » Local Consistency and SAT-Solvers |
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— We propose a distributed algorithm to detect “cuts” in sensor networks, i.e., the failure of a set of nodes that separates the networks into two or more components. The alg...
CEC
2008
IEEE
14 years 4 months ago
2008
IEEE
— The problem of robotic area coverage is applicable to many domains, such as search, agriculture, cleaning, and machine tooling. The robotic area coverage task is concerned with...
ICPR
2008
IEEE
14 years 4 months ago
2008
IEEE
Regional scores (e.g. strain, perfusion) of the Left Ventricle (LV) functionality are playing an increasing role in the diagnosis of cardiac diseases. A main limitation is the lac...
FCCM
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper introduces a parameterisable, application and platform-independent, hybrid memory sub-system for custom hardware. This memory sub-system consists of a scratchpad memory...
GLVLSI
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper presents a framework to design a shared memory multiprocessor on a programmable platform. We propose a complete flow, composed by a programming model and a template ar...