Sciweavers

1690 search results - page 90 / 338
» Algorithmic Properties of Millstream Systems
Sort
View
PRDC
2000
IEEE
15 years 7 months ago
Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule
In this paper, we extend the classical result by Huang, Kintala, Kolettis and Fulton (1995), and in addition propose a modified stochastic model to determine the software rejuvena...
Tadashi Dohi, Katerina Goseva-Popstojanova, Kishor...
CORR
2010
Springer
186views Education» more  CORR 2010»
15 years 4 months ago
Cooperative Sequential Spectrum Sensing Algorithms for OFDM
This paper considers the problem of spectrum sensing in cognitive radio networks when the primary user is using Orthogonal Frequency Division Multiplexing (OFDM). For this we devel...
ArunKumar Jayaprakasam, Vinod Sharma, Chandra R. M...
143
Voted
WOSP
2010
ACM
15 years 4 months ago
Automatically improve software architecture models for performance, reliability, and cost using evolutionary algorithms
Quantitative prediction of quality properties (i.e. extrafunctional properties such as performance, reliability, and cost) of software architectures during design supports a syste...
Anne Martens, Heiko Koziolek, Steffen Becker, Ralf...
ESANN
2006
15 years 5 months ago
Cluster detection algorithm in neural networks
Complex networks have received much attention in the last few years, and reveal global properties of interacting systems in domains like biology, social sciences and technology. O...
David Meunier, Hélène Paugam-Moisy
KI
2010
Springer
14 years 11 months ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer