149 search results - page 22 / 30 » A Length-Invariant Hybrid Mix |
HYBRID
2001
Springer
14 years 1 months ago
2001
Springer
Efficient algorithms exist for fault detection and isolation of physical systems based on functional redundancy. In a qualitative approach, this redundancy can be captured by a tem...
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
IAT
2007
IEEE
14 years 2 months ago
2007
IEEE
We present a new hybrid algorithm for local search in distributed combinatorial optimization. This method is a mix between classical local search methods in which nodes take decis...
IPCCC
2005
IEEE
14 years 2 months ago
2005
IEEE
The IEEE 802.11g standard has been proposed to enhance the data rate of wireless LAN connections up to 54Mbps, while ensuring backward compatibility with legacy 802.11b devices at...
HYBRID
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...