EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
Journal of Computational and Applied Mathematics
DFTSim: a simulation tool for extended dynamic fault trees
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Simulation of the defect removal process with queuing theory
ESEM '09 Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement
Balancing Parent and Offspring Selection in Genetic Programming
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
WCDMA interface in UMTS network carrying a mixture of multi-rate traffic with different priorities
ICT'09 Proceedings of the 16th international conference on Telecommunications
Hop-count based node-to-anchor distance estimation in wireless sensor networks
CCNC'09 Proceedings of the 6th IEEE Conference on Consumer Communications and Networking Conference
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
How to generate uniform samples on discrete sets using the splitting method
Probability in the Engineering and Informational Sciences
A DEVS model for demographic microsimulation
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
ACM Computing Surveys (CSUR)
Mathematics and Computers in Simulation
International Journal of High Performance Computing Applications
S-taliro: a tool for temporal logic falsification for hybrid systems
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Architecture-based reliability evaluation under uncertainty
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Hamiltonian Cycles, Random Walks, and Discounted Occupational Measures
Mathematics of Operations Research
Bloat control in genetic programming with a histogram-based accept-reject method
Proceedings of the 13th annual conference companion on Genetic and evolutionary computation
A modified particle swarm optimization for correlated phenomena
Applied Soft Computing
PARMONC: a software library for massively parallel stochastic simulation
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
An efficient surrogate-based method for computing rare failure probability
Journal of Computational Physics
A cross entropy multiagent learning algorithm for solving vehicle routing problems with time windows
ICCL'11 Proceedings of the Second international conference on Computational logistics
Trust metrics for the SPKI/SDSI authorisation framework
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Structural reliability analysis based on random distributions with interval parameters
Computers and Structures
Finite element modelling and optimisation of net-shape metal forming processes with uncertainties
Computers and Structures
Efficient Monte Carlo simulation via the generalized splitting method
Statistics and Computing
Global estimation in constrained environments
International Journal of Robotics Research
An adaptive model for online detection of relevant state changes in Internet-based systems
Performance Evaluation
Falsification of temporal properties of hybrid systems using the cross-entropy method
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
International Journal of Robotics Research
Proceedings of the 2nd International Conference on Application and Theory of Automation in Command and Control Systems
Discrete and continuous approaches to modeling cell movement in the presence of a foreign stimulus
Computers & Mathematics with Applications
Combining time and frequency domain specifications for periodic signals
RV'11 Proceedings of the Second international conference on Runtime verification
SC '12 Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis
Computers & Mathematics with Applications
Minimax number of strata for online stratified sampling given noisy samples
ALT'12 Proceedings of the 23rd international conference on Algorithmic Learning Theory
Markov chain importance sampling with applications to rare event probability estimation
Statistics and Computing
Rare event simulation techniques
Proceedings of the Winter Simulation Conference
An importance sampling method based on a one-step look-ahead density from a Markov chain
Proceedings of the Winter Simulation Conference
Information Resources Management Journal
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Model-based performance analysis of software architectures under uncertainty
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on Probabilistic Embedded Computing
Static Network Reliability Estimation via Generalized Splitting
INFORMS Journal on Computing
Underwater Localization and Environment Mapping Using Wireless Robots
Wireless Personal Communications: An International Journal
CEP: Correlated Error Propagation for Hierarchical Soft Error Analysis
Journal of Electronic Testing: Theory and Applications
Automated reliability estimation over partial systematic explorations
Proceedings of the 2013 International Conference on Software Engineering
Mining frequent graph patterns with differential privacy
Proceedings of the 19th ACM SIGKDD international conference on Knowledge discovery and data mining
Estimating clustering coefficients and size of social networks via random walk
Proceedings of the 22nd international conference on World Wide Web
On random generation of fuzzy measures
Fuzzy Sets and Systems
Upscaling from discrete to continuous mathematical models of two interacting populations
Computers & Mathematics with Applications
RMARS: Robustification of multivariate adaptive regression spline under polyhedral uncertainty
Journal of Computational and Applied Mathematics
Bayesian statistical model checking with application to Stateflow/Simulink verification
Formal Methods in System Design
Hi-index | 0.01 |
* The authoritative resource for understanding the power behind Monte Carlo Methods. * Most ideas are introduced and explained by way of concrete examples, algorithms, and practical experiments * A new co-author has now been added to enliven the writing style and to provide modern day expertise on new topics * An extensive range of exercises is provided at the end of each chapter, with more difficult sections and exercises marked accordingly * Examples of cross-entropy programs, written in MATLAB, are given in an appendix