Sciweavers

6102 search results - page 484 / 1221
» Modelling Environments for Distributed Simulation
Sort
View
172
Voted
HPDC
2003
IEEE
16 years 3 days ago
Adaptive Polling of Grid Resource Monitors Using a Slacker Coherence Model
As Data and Computational Grids grow in size and complexity, the crucial task of identifying, monitoring and utilizing available resources in an efficient manner is becoming incr...
Radhakrishnan Sundaresan, Mario Lauria, Tahsin M. ...
ICASSP
2008
IEEE
16 years 1 months ago
Robust adaptive beamforming for general-rank signal models using positive semi-definite covariance constraint
In this paper, we develop an improved approach to the worstcase robust adaptive beamforming for general-rank signal models by means of taking into account the positive semi-defin...
Haihua Chen, Alex B. Gershman
QEST
2008
IEEE
16 years 1 months ago
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan...
JACIII
2008
101views more  JACIII 2008»
15 years 6 months ago
On-Line Fault Detection and Compensation of Hydraulic Driven Machines Using Modelling Techniques
The development of on line model-based fault detection systems in machinery improves the operational reliability of industrial systems and reduces the operational and maintenance ...
Chrissanthi Angeli, Avraam Chatzinikolaou
ICASSP
2011
IEEE
14 years 10 months ago
Worst-case based robust adaptive beamforming for general-rank signal models using positive semi-definite covariance constraint
In this paper, we develop a new approach to the robust beamforming for general-rank signal models. Our method is based on the worst-case performance optimization using a semi-de n...
Haihua Chen, Alex B. Gershman