27354 search results - page 4614 / 5471 » Distributed And Parallel Computing |
231
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
187
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
We study the convergence behavior of the Active Mask (AM) framework, originally designed for segmenting punctate image patterns. AM combines the flexibility of traditional active...
131
click to vote
ADT
2010
15 years 7 months ago
2010
Abstract A wide range of wireless system developments require knowledge of the distribution of electromagnetic fields from various sources in humans. As experimental assessment is ...
161
click to vote
ANOR
2008
15 years 7 months ago
2008
Level-expanding quasi-birth-and-death (QBD) processes have been shown to be an efficient modeling tool for studying multi-dimensional systems, especially twodimensional ones. Comp...
157
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
A consensus problem consists of finding a distributed control strategy that brings the state or output of a group of agents to a common value, a consensus point. In this paper, we...