3134 search results - page 94 / 627 » simulation 2010 |
140
click to vote
SIGGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
We present an approach to simulate flows driven by surface tension based on triangle meshes. Our method consists of two simulation layers: the first layer is an Eulerian method ...
116
click to vote
ENTCS
2006
15 years 3 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
136
click to vote
ECCC
2007
15 years 3 months ago
2007
We show that if a language L has a 4-round, black-box, computational zero-knowledge proof system with negligible soundness error, then ¯L ∈ MA. Assuming the polynomial hierarch...
131
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Moment computation is essential to the analysis of stochastic kinetic models of biochemical reaction networks. It is often the case that the moment evolution, usually the first and...
146
click to vote
ENTCS
2006
15 years 3 months ago
2006
The traditional approach to validate analog circuits is to utilize extensive SPICElevel simulations. The main challenge of this approach is knowing when all important corner cases...