Sciweavers

757 search results - page 30 / 152
» Monte Carlo Model Checking
Sort
View
ATVA
2008
Springer
88views Hardware» more  ATVA 2008»
14 years 2 days ago
Practical Efficient Modular Linear-Time Model-Checking
Carlo A. Furia, Paola Spoletini
CSC
2006
13 years 11 months ago
Parallel Load Balancing Heuristics for Radiative Heat Transfer Calculations
The computation of radiative effects by the Photon Monte Carlo method is computationally demanding, especially when complex, nongray absorption models are employed. To solve such c...
Kamal Viswanath, Ivana Veljkovic, Paul E. Plassman...
MCS
2007
Springer
13 years 9 months ago
Computing the principal eigenvalue of the Laplace operator by a stochastic method
We describe a Monte Carlo method for the numerical computation of the principal eigenvalue of the Laplace operator in a bounded domain with Dirichlet conditions. It is based on th...
Antoine Lejay, Sylvain Maire
WSC
2000
13 years 11 months ago
Generating "dependent" quasi-random numbers
Under certain conditions on the integrand, quasi-Monte Carlo methods for estimating integrals (expectations) converge faster asymptotically than Monte Carlo methods. Motivated by ...
Shane G. Henderson, Belinda A. Chiera, Roger M. Co...
WSC
2008
14 years 12 days ago
A particle filtering framework for randomized optimization algorithms
We propose a framework for optimization problems based on particle filtering (also called Sequential Monte Carlo method). This framework unifies and provides new insight into rand...
Enlu Zhou, Michael C. Fu, Steven I. Marcus