11112 search results - page 1626 / 2223 » Computing Stuttering Simulations |
197
Voted
CAV
2001
Springer
15 years 11 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
146
click to vote
EUROPAR
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we present a new hybrid branch predictor called the GoStay2, which can effectively reduce indirect misprediction rates. The GoStay2 has two different mechanisms comp...
175
Voted
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We propose a mesh-based surface tracking method for fluid animation that both preserves fine surface details and robustly adjusts the topology of the surface in the presence of ...
153
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
This paper introduces a data-driven process for designing and fabricating materials with desired deformation behavior. Our process starts with measuring deformation properties of ...
193
click to vote
ICN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract— Network service providers contract with network owners for connection rights, then offer individual users network access at a price. Within this hierarchy, the service ...