Sciweavers

317 search results - page 11 / 64
» Tooling the Dynamic Behavior Models of Graphical DSLs
Sort
View
SIGGRAPH
1992
ACM
14 years 23 days ago
Dynamic simulation of non-penetrating flexible bodies
A model for the dynamic simulation of flexible bodies subject to non-penetration constraints is presented. Flexible bodies are described in terms of global deformations of a rest ...
David Baraff, Andrew P. Witkin
FM
1997
Springer
258views Formal Methods» more  FM 1997»
14 years 26 days ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
ICASSP
2010
IEEE
13 years 9 months ago
Simulating dynamic communication systems using the core functional dataflow model
The latest communication technologies invariably consist of modules with dynamic behavior. There exists a number of design tools for communication system design with their foundat...
Nimish Sane, Chia-Jui Hsu, José Luis Pino, ...
MICRO
2000
IEEE
124views Hardware» more  MICRO 2000»
14 years 1 months ago
Calpa: a tool for automating selective dynamic compilation
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...
Markus Mock, Craig Chambers, Susan J. Eggers
FUIN
2006
160views more  FUIN 2006»
13 years 8 months ago
Behavioral Pattern Identification Through Rough Set Modeling
This paper introduces an approach to behavioral pattern identification as a part of a study of temporal patterns in complex dynamical systems. Rough set theory introduced by Zdzisl...
Jan G. Bazan