4966 search results - page 89 / 994 » its 2010 |
168
click to vote
NHM
2010
15 years 29 days ago
2010
We present different ways, coming from Finite Volume or Mixed Finite Element frameworks, to discretize convection terms in Hybrid Finite Volume, Mimetic Finite Difference and Mixed...
164
click to vote
RSA
2010
15 years 28 days ago
2010
We consider Gibbs distributions on finite random plane trees with bounded branching. We show that as the order of the tree grows to infinity, the distribution of any finite neighb...
177
click to vote
SCP
2010
15 years 28 days ago
2010
Analyzing the evolution of large and long-lived software systems is a complex problem that requires extensive tool support due to the amount and complexity of the data that needs ...
178
click to vote
SIAMNUM
2010
15 years 28 days ago
2010
We present and analyze an algorithm to solve numerically BSDEs based on Picard's iterations and on a sequential control variate technique. Its convergence is geometric. Moreov...
162
click to vote
STTT
2010
15 years 28 days ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...