Sciweavers

234 search results - page 18 / 47
» From MIN model to ordinary differential equations
Sort
View
FMCAD
2008
Springer
14 years 11 months ago
Verifying an Arbiter Circuit
Abstract--This paper presents the verification of an asynchronous arbiter modeled at the circuit level with non-linear ordinary differential equations. We use Brockett's annul...
Chao Yan, Mark R. Greenstreet
CDC
2010
IEEE
109views Control Systems» more  CDC 2010»
14 years 5 months ago
Reproducing slugging oscillations of a real oil well
This paper addresses the problem of reproducing oscillations generated by the well-known slugging phenomenon in multiphase flow. Reported investigations show how to determine the p...
Florent Di Meglio, Glenn-Ole Kaasa, Nicolas Petit,...
QUESTA
2002
116views more  QUESTA 2002»
14 years 9 months ago
Analysis of an Infinite-Server Queue with Batch Markovian Arrival Streams
This paper considers an infinite-server queue with multiple batch Markovian arrival streams. The service time distribution of customers may be different for different arrival strea...
Hiroyuki Masuyama, Tetsuya Takine
ICCV
2003
IEEE
16 years 1 days ago
"Perspective Shape from Shading" and Viscosity Solutions
This article proposes a solution of the Lambertian shape from shading (SFS) problem in the case of a pinhole camera model (performing a perspective projection). Our approach is ba...
Emmanuel Prados, Olivier D. Faugeras
76
Voted
MCS
2008
Springer
14 years 10 months ago
A wildland fire model with data assimilation
A wildfire model is formulated based on balance equations for energy and fuel, where the fuel loss due to combustion corresponds to the fuel reaction rate. The resulting coupled p...
Jan Mandel, Lynn S. Bennethum, Jonathan D. Beezley...