Sciweavers

2463 search results - page 164 / 493
» On the Study of Dynamic and Adaptive Dependable Distributed ...
Sort
View
IJON
2006
68views more  IJON 2006»
15 years 6 months ago
Dendritic cable with active spines: A modelling study in the spike-diffuse-spike framework
The spike-diffuse-spike (SDS) model describes a passive dendritic tree with active dendritic spines. Spine-head dynamics is modelled with a simple integrate-and-fire process, whil...
Yulia Timofeeva, Gabriel J. Lord, Stephen Coombes
BMCBI
2011
14 years 9 months ago
A hierarchical Bayesian network approach for linkage disequilibrium modeling and data-dimensionality reduction prior to genome-w
Background: Discovering the genetic basis of common genetic diseases in the human genome represents a public health issue. However, the dimensionality of the genetic data (up to 1...
Raphael Mourad, Christine Sinoquet, Philippe Leray
COLT
2008
Springer
15 years 7 months ago
Adapting to a Changing Environment: the Brownian Restless Bandits
In the multi-armed bandit (MAB) problem there are k distributions associated with the rewards of playing each of k strategies (slot machine arms). The reward distributions are ini...
Aleksandrs Slivkins, Eli Upfal
214
Voted
HPCC
2007
Springer
16 years 6 days ago
MC2DR: Multi-cycle Deadlock Detection and Recovery Algorithm for Distributed Systems
Abstract. Even though there have been many research works on distributed deadlock detection and recovery mechanisms, the multi-cycle deadlock problems are not extensively studied y...
Md. Abdur Razzaque, Md. Mamun-Or-Rashid, Choong Se...
FMCO
2008
Springer
117views Formal Methods» more  FMCO 2008»
15 years 7 months ago
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
Bernhard K. Aichernig, Andreas Griesmayer, Einar B...