5564 search results - page 168 / 1113 » Performance Modeling of HPC Applications |
120
Voted
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
132
click to vote
SIAMJO
2002
15 years 3 months ago
2002
In this paper we propose a novel finite-horizon, discrete-time, time-varying filtering method based on the robust semidefinite programming (SDP) technique. The proposed method prov...
143
Voted
WONS
2005
IEEE
15 years 9 months ago
2005
IEEE
Energy is a limited resource in wireless sensor networks. In fact, the reduction of power consumption is crucial to increase the lifetime of low power sensor networks. Several app...
116
click to vote
IJCNN
2000
IEEE
15 years 7 months ago
2000
IEEE
The self-organizing map SOM is widely used as a data visualization method in various engineering applications. It performs a non-linear mapping from a high-dimensional data spac...
148
Voted
SEFM
2007
IEEE
15 years 9 months ago
2007
IEEE
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...