Sciweavers

17740 search results - page 126 / 3548
» Simulation Using Orchestration
Sort
View
TOMACS
2002
113views more  TOMACS 2002»
15 years 4 months ago
Simulating heavy tailed processes using delayed hazard rate twisting
Consider the problem of estimating the small probability that the maximum of a random walk exceeds a large threshold, when the process has a negative drift and the underlying rand...
Sandeep Juneja, Perwez Shahabuddin
128
Voted
CADE
2005
Springer
16 years 5 months ago
Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures
Greta Yorsh, Neil Immerman, Shmuel Sagiv, Siddhart...
SENSYS
2009
ACM
15 years 12 months ago
Wireless link simulations using multi-level Markov models
Ankur Kamthe, Miguel Á. Carreira-Perpi&ntil...
100
Voted
SI3D
2009
ACM
15 years 12 months ago
Real-time fluid simulation using discrete sine/cosine transforms
Benjamin Long, Erik Reinhard