Sciweavers

2357 search results - page 243 / 472
» Computing Refactorings of Behavior Models
Sort
View
135
Voted
TOG
2012
188views Communications» more  TOG 2012»
13 years 6 months ago
Deformable objects alive!
We present a method for controlling the motions of active deformable characters. As an underlying principle, we require that all motions be driven by internal deformations. We ach...
Stelian Coros, Sebastian Martin, Bernhard Thomasze...
168
Voted
TOG
2012
209views Communications» more  TOG 2012»
13 years 6 months ago
Discrete viscous sheets
We present the first reduced-dimensional technique to simulate the dynamics of thin sheets of viscous incompressible liquid in three dimensions. Beginning from a discrete Lagrang...
Christopher Batty, Andres Uribe, Basile Audoly, Ei...
114
Voted
ICS
2003
Tsinghua U.
15 years 9 months ago
Estimating cache misses and locality using stack distances
Cache behavior modeling is an important part of modern optimizing compilers. In this paper we present a method to estimate the number of cache misses, at compile time, using a mac...
Calin Cascaval, David A. Padua
110
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
Lightweight object specification with typestates
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
Kevin Bierhoff, Jonathan Aldrich
89
Voted
ISQED
2010
IEEE
120views Hardware» more  ISQED 2010»
15 years 10 months ago
Methodology from chaos in IC implementation
— Algorithms and tools used for IC implementation do not show deterministic and predictable behaviors with input parameter changes. Due to suboptimality and inaccuracy of underly...
Kwangok Jeong, Andrew B. Kahng