Sciweavers

2470 search results - page 109 / 494
» Liveness-Preserving Simulation Relations
Sort
View
81
Voted
WSC
1998
15 years 2 months ago
Adaptive Stochastic Manpower Scheduling
Bayesian forecasting models provide distributional estimates for random parameters, and relative to classical schemes, have the advantage that they can rapidly capture changes in ...
Elmira Popova, David P. Morton
WSC
1997
15 years 2 months ago
Descriptive Sampling: An Improvement over Latin Hypercube Sampling
Descriptive Sampling (DS), a Monte Carlo sampling technique based on a deterministic selection of the input values and their random permutation, represents a deep conceptual chang...
Eduardo Saliby
76
Voted
GECCO
2008
Springer
123views Optimization» more  GECCO 2008»
15 years 1 months ago
On hopeful monsters, neutral networks and junk code in evolving L-systems
This paper investigates L-system evolution through experiments with a simulation platform of virtual plants. The conducted simulations vary the occurrence probability of terminal ...
Stefan Bornhofen, Claude Lattaud
103
Voted
ACTA
2006
108views more  ACTA 2006»
15 years 22 days ago
Refinement verification of the lazy caching algorithm
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
Wim H. Hesselink
83
Voted
IJFIPM
2008
156views more  IJFIPM 2008»
15 years 20 days ago
Dynamic intimate contact social networks and epidemic interventions
Abstract: Sexually transmitted diseases and infections are, by definition, transferred among intimate social settings. Although the circumstances under which these social settings ...
Courtney Corley, Armin R. Mikler, Diane J. Cook, K...