12050 search results - page 132 / 2410 » Modeling and Simulation |
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
Abstract— This paper presents an optimized channel usage between simulator and accelerator when the simulator models transaction-level SoC while accelerator models RTL sub-blocks...
125
click to vote
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
110
click to vote
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
— We introduce precomputed multizone elastokinematic models for interactive simulation of multibody kinematic systems which include elastostatic deformations. This enables an e...
113
click to vote
CGF
2002
15 years 3 months ago
2002
STRANDS are thin elastic solids that are visually well approximated as smooth curves, and yet possess essential physical behaviors characteristic of solid objects such as twisting...
122
click to vote
DAGSTUHL
2006
15 years 4 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...