2468 search results - page 152 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
264
Voted
FM
1997
Springer
15 years 7 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
121
Voted
SIGMETRICS
2005
ACM
15 years 9 months ago
2005
ACM
A generic stochastic model with only two input parameters is introduced to evaluate the message delay in mobile ad hoc networks (MANETs) where nodes may relay messages. The Laplac...
121
Voted
CCGRID
2010
IEEE
15 years 4 months ago
2010
IEEE
In this research, we investigate and address the challenges of asymmetry in High-End Computing (HEC) systems comprising heterogeneous architectures with varying I/O and computation...
108
Voted
RSA
2010
15 years 2 months ago
2010
We consider a system of particles with arms that are activated randomly to grab other particles as a toy model for polymerization. We assume that the following two rules are fulï¬...
141
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Confidence in pairwise alignments of biological sequences, obtained by various methods such as Blast or Smith-Waterman, is critical for automatic analyses of genomic d...