Sciweavers

734 search results - page 72 / 147
» Computer Virus Propagation Models
Sort
View
ICMT
2009
Springer
15 years 4 months ago
Supporting Parallel Updates with Bidirectional Model Transformations
Abstract. Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consist...
Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Take...
TWC
2010
14 years 4 months ago
A fixed-lag particle smoother for blind SISO equalization of time-varying channels
We introduce a new sequential importance sampling (SIS) algorithm which propagates in time a Monte Carlo approximation of the posterior fixed-lag smoothing distribution of the symb...
Alberto Gaspar Guimarães, Boujemaa Ait-El-F...
CDC
2008
IEEE
288views Control Systems» more  CDC 2008»
15 years 4 months ago
Open-loop combustion timing control of a Spark-Ignited engine
— In this paper, we propose a control strategy to improve the combustion efficiency of Spark Ignited engines. More precisely, we adapt the spark ignition time according to varia...
Mathieu Hillion, Jonathan Chauvin, Nicolas Petit
IWFM
2003
123views Formal Methods» more  IWFM 2003»
14 years 11 months ago
Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
Doug Goldson
TIT
2002
62views more  TIT 2002»
14 years 9 months ago
Maximum-likelihood binary shift-register synthesis from noisy observations
We consider the problem of estimating the feedback coefficients of a linear feedback shift register (LFSR) based on noisy observations. In the current approach, the coefficients a...
Todd K. Moon