611 search results - page 1 / 123 » Relative simulation and model checking of real-time processe... |
DSRT
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
DATE
1999
IEEE
13 years 9 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
CBMS
2006
IEEE
13 years 10 months ago
2006
IEEE
In this paper we discuss a framework for modeling the 3D lung dynamics of normal and diseased human subjects and visualizing them using an Augmented Reality (AR) based environment...
CGF
2010
13 years 4 months ago
2010
During the development of car engines, regression models that are based on machine learning techniques are increasingly important for tasks which require a prediction of results i...
ICAT
2006
IEEE
13 years 10 months ago
2006
IEEE
Abstract. In this paper, MM-Model is presented for real-time simulation of 3D deformable objects on both global level and local region. This model consists of a deformable centerli...