output
20062026
most citedA Generic Model of Contracts for Embedded Systems

30 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2012Show all

3 papers · 1 filter

physics.ao-ph2012★ 17 cited

Ensemble Kalman filtering with residual nudging

Xiaodong Luo, Ibrahim Hoteit

Covariance inflation and localization are two important techniques that are used to improve the performance of the ensemble Kalman filter (EnKF) by (in effect) adjusting the sample…

cs.DS2012★ 1 cited

Sketch \star-metric: Comparing Data Streams via Sketching

Emmanuelle Anceaume, Yann Busnel

In this paper, we consider the problem of estimating the distance between any two large data streams in small- space constraint. This problem is of utmost importance in data intens…

cs.SE2012

Issues of Architectural Description Languages for Handling Dynamic Reconfiguration

Leonardo Minora, Jérémy Buisson, Flavio Oquendo +1

Dynamic reconfiguration is the action of modifying a software system at runtime. Several works have been using architectural specification as the basis for dynamic reconfiguration.…