Sciweavers

15644 search results - page 200 / 3129
» Brittle System Analysis
Sort
View
FORTE
2007
15 years 8 months ago
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...
MVA
2000
191views Computer Vision» more  MVA 2000»
15 years 8 months ago
Development of Visual Inspection System Based on Vector Analysis Technique
The present paper proposes a new concept of image processing method based on vector representation for visual inspection test. The method was applied to detect defects and extract...
Masatake Sakuma, Katsumi Kubo, Shigeru Kanemoto, T...
CORR
2007
Springer
82views Education» more  CORR 2007»
15 years 6 months ago
Mathematical analysis of the recoil growth algorithm to generate multi-polymer systems
The Recoil Growth algorithm, proposed in 1999 by Consta et al., is one of the most efficient algorithm available in the literature to sample from a multi-polymer system. While the ...
F. Simatos
SCP
2011
197views Communications» more  SCP 2011»
15 years 1 months ago
A state/event-based model-checking approach for the analysis of abstract system properties
system properties Maurice H. ter Beeka,∗ , Alessandro Fantechia,b , Stefania Gnesia , Franco Mazzantia a Istituto di Scienza e Tecnologie dell’Informazione ‘‘A. Faedo’’...
Maurice H. ter Beek, Alessandro Fantechi, Stefania...
ICASSP
2011
IEEE
14 years 10 months ago
Analysis of the pilot contamination effect in very large multicell multiuser MIMO systems for physical channel models
We consider multicell multiuser MIMO systems with a very large number of antennas at the base station. We assume that the channel is estimated by using uplink training sequences, ...
Hien Quoc Ngo, Thomas L. Marzetta, Erik G. Larsson