Sciweavers

6279 search results - page 867 / 1256
» Studies in Solution Sampling
Sort
View
209
Voted
ICPADS
1994
IEEE
15 years 11 months ago
Stochastic Modeling of Scaled Parallel Programs
Testingthe performance scalabilityof parallelprograms can be a time consuming task, involving many performance runs for different computer configurations, processor numbers, and p...
Allen D. Malony, Vassilis Mertsiotakis, Andreas Qu...
FASE
2007
Springer
15 years 10 months ago
A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces
Abstract. We study resource management in distributed systems. Incorrect handling of resources may lead to deadlocks, missed deadlines, priority inversions, and other forms of inco...
César Sánchez, Henny B. Sipma, Zohar...
GECCO
2010
Springer
248views Optimization» more  GECCO 2010»
15 years 10 months ago
Integrating decision space diversity into hypervolume-based multiobjective search
Multiobjective optimization in general aims at learning about the problem at hand. Usually the focus lies on objective space properties such as the front shape and the distributio...
Tamara Ulrich, Johannes Bader, Eckart Zitzler
AAAI
2006
15 years 8 months ago
Model Counting: A New Strategy for Obtaining Good Bounds
Model counting is the classical problem of computing the number of solutions of a given propositional formula. It vastly generalizes the NP-complete problem of propositional satis...
Carla P. Gomes, Ashish Sabharwal, Bart Selman
WSC
1997
15 years 8 months ago
Success Stories in Simulation in Health Care
Healthcare is a rapidly changing industry, and facilities are struggling to find tools to enhance their ability to keep up with the change. Healthcare staff have generally adapted...
Catherine Drury Barnes, Joaquin L. Quiason, Carson...