Sciweavers

2116 search results - page 15 / 424
» On Probabilistic Alternating Simulations
Sort
View
CORR
2006
Springer
132views Education» more  CORR 2006»
13 years 10 months ago
Cross-Entropy method: convergence issues for extended implementation
The cross-entropy method (CE) developed by R. Rubinstein is an elegant practical principle for simulating rare events. The method approximates the probability of the rare event by...
Frédéric Dambreville
MICCAI
2009
Springer
14 years 11 months ago
A Fast Alternative to Computational Fluid Dynamics for High Quality Imaging of Blood Flow
Obtaining detailed, patient-specific blood flow information would be very useful in detecting and monitoring cardio-vascular diseases. Current approaches rely on computational flui...
Robert H. P. McGregor, Dominik Szczerba, Krishnamu...
FSTTCS
2010
Springer
13 years 8 months ago
Model Checking Concurrent Programs with Nondeterminism and Randomization
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
MASCOTS
2001
13 years 11 months ago
Minimizing Routing State for Light-Weight Network Simulation
We introduce a routing mechanism, referred to as algorithmic routing. It is a viable routing alternative for network simulations with minimal space complexity
Polly Huang, John S. Heidemann