Sciweavers

670 search results - page 20 / 134
» Real-Time Crying Simulation
Sort
View
FORTE
1990
15 years 3 months ago
A LOTOS Interpreter for Simulating Real-Time Behaviour
A prototype Basic LOTOS interpreter, augmented for modelling real-time systems, is described. Primitive actions are treated as time-consuming, with separate start and end points, ...
Colin J. Fidge
CGF
2010
161views more  CGF 2010»
15 years 2 months ago
HyperMoVal: Interactive Visual Validation of Regression Models for Real-Time Simulation
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...
Harald Piringer, Wolfgang Berger, J. Krasser
CGI
2006
IEEE
15 years 8 months ago
Real-Time Rendering of Point Based Water Surfaces
Abstract. In recent years, attention has been paid to particle-based fluid simulation, with several methods being developed to incorporate particle-based simulation into CG animat...
Kei Iwasaki, Yoshinori Dobashi, Fujiichi Yoshimoto...
CBSE
2005
Springer
15 years 8 months ago
Optimizing Resource Usage in Component-Based Real-Time Systems
This report presents data regarding simulation setup, the genetic algorithms setup and a short description to the use of the genetic algorithms. This report is written in the conte...
Johan Fredriksson, Kristian Sandström, Mikael...
FMOODS
2007
15 years 3 months ago
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
Peter Csaba Ölveczky, Stian Thorvaldsen