Sciweavers

13376 search results - page 415 / 2676
» Problem Solving with
Sort
View
GLOBECOM
2007
IEEE
15 years 5 months ago
FFT-DMAC: A Tone Based MAC Protocol with Directional Antennas
—This paper presents the FFT (flip-flop tone) DMAC protocol, a tone based MAC protocol using directional antennas to solve the deafness problem, hidden terminal and exposed termi...
Ying Li, Minglu Li, Wei Shu, Min-You Wu
IPSN
2005
Springer
15 years 10 months ago
A robust architecture for distributed inference in sensor networks
— Many inference problems that arise in sensor networks require the computation of a global conclusion that is consistent with local information known to each node. A large class...
Mark A. Paskin, Carlos Guestrin, Jim McFadden
ISSRE
2007
IEEE
15 years 6 months ago
Improving Constraint-Based Testing with Dynamic Linear Relaxations
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...
Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...
AICCSA
2007
IEEE
89views Hardware» more  AICCSA 2007»
15 years 11 months ago
Software/Configware Implementation of Combinatorial Algorithms
This paper discusses an approach for solving combinatorial problems by combining software and dynamically reconfigurable hardware (configware). The suggested technique avoids inst...
Iouliia Skliarova, Valery Sklyarov
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
15 years 11 months ago
Tool-support for the analysis of hybrid systems and models
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...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...