Sciweavers

241 search results - page 20 / 49
» Initializing On-line Simulations from the State of a Distrib...
Sort
View
CORR
2008
Springer
90views Education» more  CORR 2008»
13 years 7 months ago
A Queueing System for Modeling a File Sharing Principle
We investigate in this paper the performance of a file sharing principle similar to the one implemented by eMule. For this purpose, we consider a system composed of N peers becomi...
Florian Simatos, Philippe Robert, Fabrice Guillemi...
PPOPP
2006
ACM
14 years 1 months ago
Performance characterization of molecular dynamics techniques for biomolecular simulations
Large-scale simulations and computational modeling using molecular dynamics (MD) continues to make significant impacts in the field of biology. It is well known that simulations...
Sadaf R. Alam, Jeffrey S. Vetter, Pratul K. Agarwa...
CDC
2008
IEEE
200views Control Systems» more  CDC 2008»
14 years 2 months ago
Maximum-likelihood Kalman filtering for switching discrete-time linear systems
— State estimation is addressed for a class of discrete-time systems that may switch among different modes taken from a finite set. The system and measurement equations of each ...
Angelo Alessandri, Marco Baglietto, Giorgio Battis...
CONCUR
2009
Springer
14 years 2 months ago
Reachability in Succinct and Parametric One-Counter Automata
One-counter automata are a fundamental and widely-studied class of infinite-state systems. In this paper we consider one-counter automata with counter updates encoded in binary—...
Christoph Haase, Stephan Kreutzer, Joël Ouakn...
BMCBI
2008
149views more  BMCBI 2008»
13 years 7 months ago
Evolution of biological sequences implies an extreme value distribution of type I for both global and local pairwise alignment s
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...
Olivier Bastien, Eric Maréchal