12707 search results - page 413 / 2542 » A Distributed Arc-Consistency Algorithm |
192
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—Cooperative relay is a communication paradigm that aims to realize the capacity of multi-antenna arrays in a distributed manner. However, the symbol-level synchronization requir...
178
click to vote
STTT
2010
15 years 5 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
211
click to vote
TSP
2010
15 years 1 months ago
2010
We study the distributed sampling and centralized reconstruction of two correlated signals, modeled as the input and output of an unknown sparse filtering operation. This is akin ...
158
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
A new approach to the configuration and operation of electrical distribution networks is proposed. Traditionally, the medium-voltage part of the electrical grid is operated in a c...
189
click to vote
ICAS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper addresses the challenge of assigning virtual networks, through network virtualisation, to the underlying physical network in a distributed and efficient manner. The pa...