Sciweavers

8719 search results - page 316 / 1744
» A Categorical Approach to Simulations
Sort
View
TOG
2012
170views Communications» more  TOG 2012»
13 years 9 months ago
Interactive editing of deformable simulations
We present an interactive animation editor for complex deformable object animations. Given an existing animation, the artist directly manipulates the deformable body at any time f...
Jernej Barbic, Funshing Sin, Eitan Grinspun
ICCD
2001
IEEE
119views Hardware» more  ICCD 2001»
16 years 3 months ago
A Functional Validation Technique: Biased-Random Simulation Guided by Observability-Based Coverage
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
Serdar Tasiran, Farzan Fallah, David G. Chinnery, ...
IPPS
2009
IEEE
16 years 1 months ago
A metascalable computing framework for large spatiotemporal-scale atomistic simulations
A metascalable (or “design once, scale on new architectures”) parallel computing framework has been developed for large spatiotemporal-scale atomistic simulations of materials...
Ken-ichi Nomura, Richard Seymour, Weiqiang Wang, H...
DATE
2006
IEEE
142views Hardware» more  DATE 2006»
16 years 23 days ago
Physical-aware simulated annealing optimization of gate leakage in nanoscale datapath circuits
For CMOS technologies below 65nm, gate oxide direct tunneling current is a major component of the total power dissipation. This paper presents a simulated annealing based algorith...
Saraju P. Mohanty, Ramakrishna Velagapudi, Elias K...
ICAT
2006
IEEE
16 years 23 days ago
Real-Time Virtual Surgery Simulation Employing MM-Model and Adaptive Spatial Hash
Abstract. In this paper, MM-Model is presented for real-time simulation of 3D deformable objects on both global level and local region. This model consists of a deformable centerli...
Shaoting Zhang, Lixu Gu, Weiming Liang, Jingsi Zha...