Sciweavers

611 search results - page 69 / 123
» Relative simulation and model checking of real-time processe...
Sort
View
BC
2007
102views more  BC 2007»
13 years 9 months ago
Bayesian processing of vestibular information
Complex self-motion stimulations in the dark can be powerfully disorienting and can create illusory motion percepts. In the absence of visual cues, the brain has to use angular and...
Jean Laurens, Jacques Droulez
PADS
1996
ACM
14 years 1 months ago
Experiments in Automated Load Balancing
One of the promises of parallelized discrete-event simulation is that it might provide significant speedups over sequential simulation. In reality, high performance cannot be achi...
Linda F. Wilson, David M. Nicol
TOG
2008
106views more  TOG 2008»
13 years 8 months ago
Fast modal sounds with scalable frequency-domain synthesis
Audio rendering of impact sounds, such as those caused by falling objects or explosion debris, adds realism to interactive 3D audiovisual applications, and can be convincingly ach...
Nicolas Bonneel, George Drettakis, Nicolas Tsingos...
EGH
2003
Springer
14 years 2 months ago
Simulation of cloud dynamics on graphics hardware
This paper presents a physically-based, visually-realistic interactive cloud simulation. Clouds in our system are modeled using partial differential equations describing fluid mot...
Mark J. Harris, William V. Baxter, Thorsten Scheue...
FSEN
2009
Springer
14 years 24 days ago
Specification and Validation of Behavioural Protocols in the rCOS Modeler
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
Zhenbang Chen, Charles Morisset, Volker Stolz