503 search results - page 40 / 101 » Real-time Property Preservation in Approximations of Timed S... |
150
click to vote
SIAMSC
2008
15 years 6 months ago
2008
We propose a new numerical scheme for linear transport equations. It is based on a decomposition of the distribution function into equilibrium and non-equilibrium parts. We also us...
168
Voted
DATE
2009
IEEE
16 years 26 days ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
145
click to vote
RAS
2002
15 years 5 months ago
2002
In this paper, we address the problem of generating trajectories of some image features in order to control efficiently a robotic system using an image-based control strategy. Firs...
297
click to vote
AUTOMATICA
2011
15 years 1 months ago
2011
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
198
click to vote
RTAS
2006
IEEE
16 years 3 days ago
2006
IEEE
The heterogeneous multiprocessor task partitioning with replication problem involves determining a mapping of recurring tasks upon a set consisting of different processing units i...