Sciweavers

251 search results - page 13 / 51
» Retrenchment, Refinement, and Simulation
Sort
View
SCP
2008
89views more  SCP 2008»
13 years 7 months ago
A challenge for atomicity verification
An unpublished algorithm of Haldar and Vidyasankar implements an atomic variable of an arbitrary type T for one writer and one reader by means of 4 unsafe variables of type T , th...
Wim H. Hesselink
WSC
1998
13 years 8 months ago
Developing a Simulation Strategy for British Airways OR
Many organisations have seen the use of simulation evolve, often in something of a piecemeal fashion. This may lead to some deficiencies in the way that simulation is employed. Th...
Stewart Robinson, Mark D. Stanger
AAAI
1996
13 years 8 months ago
Trajectory Constraints in Qualitative Simulation
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
Giorgio Brajnik, Daniel J. Clancy
WSC
2008
13 years 9 months ago
A simulation based scheduling model for call centers with uncertain arrival rates
In this paper we develop a two stage algorithm for scheduling call centers with strict SLAs and arrival rate uncertainty. The first cut schedule can be developed in less than a mi...
Thomas R. Robbins, Terry P. Harrison
CSL
2008
Springer
13 years 7 months ago
User simulation in a stochastic dialog system
We present a new methodology of user simulation applied to the evaluation and refinement of stochastic dialog systems. Common weaknesses of these systems are the scarceness of the...
Francisco Torres, Emilio Sanchis, Encarna Segarra