Sciweavers

317 search results - page 20 / 64
» Tooling the Dynamic Behavior Models of Graphical DSLs
Sort
View
IV
1999
IEEE
134views Visualization» more  IV 1999»
14 years 29 days ago
Molecular Dynamics Simulation and Visualization
We have developed atomic-scale material models capable of melting, crystallization and amorphization. These models feature molecular dynamics governed by Langevin equations of mot...
Roman Durikovic, Teruaki Motooka
ECMDAFA
2010
Springer
151views Hardware» more  ECMDAFA 2010»
14 years 7 hour ago
Generative Technologies for Model Animation in the TopCased Platform
Domain Specific Modeling Languages (DSML) are more and more used to handle high level concepts, and thus bring complex software development under control. The increasingly recurrin...
Xavier Crégut, Benoît Combemale, Marc...
DSD
2009
IEEE
93views Hardware» more  DSD 2009»
13 years 6 months ago
Transactions Sequence Tracking by means of Dynamic Binary Instrumentation of TLM Models
Several traditional VHDL fault injection mechanisms like mutants or saboteurs have been adapted to SystemC model descriptions. The main drawback of these approaches is the necessi...
Antonio da Silva, Sebastian Sanchez
CAV
2010
Springer
173views Hardware» more  CAV 2010»
14 years 11 hour ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...
TOG
2008
123views more  TOG 2008»
13 years 8 months ago
Example-based dynamic skinning in real time
In this paper we present an approach to enrich skeleton-driven animations with physically-based secondary deformation in real time. To achieve this goal, we propose a novel, surfa...
Xiaohan Shi, Kun Zhou, Yiying Tong, Mathieu Desbru...